[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
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://urldefense.com/v3/__https://pml.flu.cas.cz/__;!!IBzWLUs!W9669Hupko31CKWJ_8gqYW6ay7B2bD26twQxgHjm8lpqu6hkPToE7jxzG1ZY0gN4G3qa4G4eEUyJ4UpPxLDLhkAQ4-Z0Aao$
