0510497 - FLÚ 2020 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional support: RVO:67985955
Keywords : type theory * definitional identity
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.406, year: 2019
Method of publishing: Limited access
https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/etarules-in-martinlof-type-theory/CA10751125AABA4B36BEDC30EC729B74
Permanent Link: http://hdl.handle.net/11104/0300973
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
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional support: RVO:67985955
Keywords : type theory * definitional identity
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.406, year: 2019
Method of publishing: Limited access
https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/etarules-in-martinlof-type-theory/CA10751125AABA4B36BEDC30EC729B74
Permanent Link: http://hdl.handle.net/11104/0300973