[TYPES] Martin-Löf transcriptions

Ansten Mørch Klev anstenklev at gmail.com
Fri Sep 16 05:28:03 EDT 2022


 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$  


More information about the Types-list mailing list