Search results
- 1.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
https://pml.flu.cas.cz/
Permanent Link: https://hdl.handle.net/11104/0339757