Počet záznamů: 1
Eta-rules in Martin-Löf type theory
SYS 0510497 LBL 01000a^^22220027750^450 005 20240103222838.7 014 $a 85074250338 $2 SCOPUS 014 $a 000510726600003 $2 WOS 017 $a 10.1017/bsl.2019.21 $2 DOI 100 $a 20191106d m y slo 03 ba 101 $a eng $d eng 102 $a US 200 1-
$a Eta-rules in Martin-Löf type theory 215 $a 27 s. $c P 463 -1
$1 001 cav_un_epca*0252195 $1 011 $a 1079-8986 $e 1943-5894 $1 200 1 $a Bulletin of Symbolic Logic $v Roč. 25, č. 3 (2019), s. 333-359 $1 210 $c Cambridge University Press 610 $a type theory 610 $a definitional identity 700 -1
$3 cav_un_auth*0332052 $4 070 $a Klev $b Ansten $p FLU-F $i Oddělení logiky $j Department of Logic $w Department of Logic $y NO $T Filosofický ústav AV ČR, v. v. i. 856 $9 RIV $u https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/etarules-in-martinlof-type-theory/CA10751125AABA4B36BEDC30EC729B74
Počet záznamů: 1