Basket

  1. 1.
    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
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.