Počet záznamů: 1  

Eta-rules in Martin-Löf type theory

    1.
    Klev, A. Eta-rules in Martin-Löf type theory. Bulletin of Symbolic Logic. 2019, 25(3), 333-359. ISSN 1079-8986. E-ISSN 1943-5894. Dostupné z: doi: 10.1017/bsl.2019.21.
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše