Počet záznamů: 1
The Justification of Identity Elimination in Martin-Lof’s Type Theory
- 1.0508058 - FLÚ 2020 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Justification of logical laws * Type theory * Identity
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
Trvalý link: http://hdl.handle.net/11104/0299265
Počet záznamů: 1