Počet záznamů: 1
Eta-rules in Martin-Löf type theory
- 1.0510497 - FLÚ 2020 RIV US eng J - Článek v odborném periodiku
Klev, Ansten
Eta-rules in Martin-Löf type theory.
Bulletin of Symbolic Logic. Roč. 25, č. 3 (2019), s. 333-359. ISSN 1079-8986. E-ISSN 1943-5894
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: type theory * definitional identity
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.406, rok: 2019
Způsob publikování: Omezený přístup
https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/etarules-in-martinlof-type-theory/CA10751125AABA4B36BEDC30EC729B74
Trvalý link: http://hdl.handle.net/11104/0300973
Počet záznamů: 1