Počet záznamů: 1
Composition of Deductions within the Propositions-As-Types Paradigm
SYS 0535279 LBL 01000a^^22220027750^450 005 20240103224828.1 014 $a 85090186027 $2 SCOPUS 014 $a 000565490700001 $2 WOS 017 $a 10.1007/s11787-020-00260-3 $2 DOI 100 $a 20201130d m y slo 03 ba 101 $a eng $d eng 102 $a CH 200 1-
$a Composition of Deductions within the Propositions-As-Types Paradigm 215 $a 13 s. $c P 463 -1
$1 001 cav_un_epca*0350925 $1 011 $a 1661-8297 $e 1661-8300 $1 200 1 $a Logica Universalis $v Roč. 14, č. 4 (2020), s. 481-493 $1 210 $c Springer 610 $a General proof theory 610 $a propositions as types 610 $a Curry–Howard isomorphism 610 $a constructive type theory 610 $a categorial proof theory 610 $a Cut rule 610 $a composition of deduction 700 -1
$3 cav_un_auth*0356824 $a Pezlar $b Ivo $p FLU-F $i Kabinet pro studium vědy, techniky a společnosti $j Centre for Science, Technology, and Society Studies $w Centre for Science, Technology, and Society Studies $y CZ $4 070 $z K $T Filosofický ústav AV ČR, v. v. i. 856 $u https://doi.org/10.1007/s11787-020-00260-3 $9 RIV
Počet záznamů: 1