Martin-Löf transcriptions

26 views

Skip to first unread message

Ansten Mørch Klev

unread,

Sep 16, 2022, 5:28:31 AM9/16/22

to types...@lists.seas.upenn.edu, HomotopyT...@googlegroups.com

Readers of this list may be interested in the following webpage, which collects transcriptions of lectures given by Per Martin-Löf between the autumn of 1993 and September 2019: https://pml.flu.cas.cz/

Reply all

Reply to author

Forward

0 new messages