[TYPES] Martin-Löf transcriptions
Ansten Mørch Klev <[email protected]> Fri, 16 Sep 2022 11:28:03 +0200
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CAJHZuqZoO-qkp6C0WddtuKDLkUTJk6JTr6zvDxLACrwhzMs1HQ@mail.gmail.com> |
[ 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$