Počet záznamů: 1
The Justification of Identity Elimination in Martin-Lof’s Type Theory
- 1.Klev, Ansten
The Justification of Identity Elimination in Martin-Lof’s Type Theory.
Topoi: an international review of philosophy. Roč. 38, č. 3 (2019), s. 577-590. ISSN 0167-7411
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://link.springer.com/article/10.1007%2Fs11245-017-9509-1
http://hdl.handle.net/11104/0299265
Počet záznamů: 1