0565576 - FLÚ 2023 RIV CZ eng E - Elektronický dokument
Klev, Ansten - Pezlar, Ivo
Per Martin-Löf. Transcriptions.
[online databáze]. - Prague: Filosofický ústav AV ČR, 2022, 3,5 MB
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: Per Martin-Löf * constructive type theory * intuitionistic type theory * philosophy * transcriptions
Obor OECD: Philosophy, History and Philosophy of science and technology
Web výsledku:
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.

Trvalý link: https://hdl.handle.net/11104/0339757