Počet záznamů: 1
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory
SYS 0508521 LBL 01000a^^22220027750^450 005 20240103222544.7 017 $a 10.18653/v1/W19-1002 $2 DOI 100 $a 20190918d m y slo 03 ba 101 $a eng $d eng 102 $a US 200 1-
$a Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory 215 $a 9 s. $c P 463 -1
$1 001 cav_un_epca*0508520 $1 010 $a 978-1-950737-25-3 $1 200 1 $a IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures: Proceedings of the Workshop $v S. 10-18 $1 210 $a Stroudsburg (PA) $c Association for Computational Linguistics $d 2019 $1 702 1 $4 340 $a Osswald $b Rainer $1 702 1 $4 340 $a Retoré $b Christian $1 702 1 $4 340 $a Sutton $b Peter 610 $a proof theoretic semantics 610 $a modern type theory 610 $a natural language semantics 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 $T Filosofický ústav AV ČR, v. v. i. 856 $u https://www.aclweb.org/anthology/W19-1002/ $9 RIV
Počet záznamů: 1