0565576 - FLÚ 2023 RIV CZ eng E - Electronic Document
Klev, Ansten - Pezlar, Ivo
Per Martin-Löf. Transcriptions.
[online databáze]. - Prague: Filosofický ústav AV ČR, 2022, 3,5 MB
Grant - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : Per Martin-Löf * constructive type theory * intuitionistic type theory * philosophy * transcriptions
OECD category: Philosophy, History and Philosophy of science and technology
Result website:
https://pml.flu.cas.cz/

This page collects transcriptions of lectures, mainly of a philosophical nature, given by Per Martin-Löf between the autumn of 1993 and September 2019. Most of them are published here for the first time. Each transcription contains a prefatory note outlining its origin.
Permanent Link: https://hdl.handle.net/11104/0339757