Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory - ACL Anthology

Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory

Anthology ID:: W19-1002
Volume:: Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures
Month:: June
Year:: 2019
Address:: Gothenburg, Sweden
Venues:: IWCS | WS
SIG:: SIGSEM
Publisher:: Association for Computational Linguistics
Note:
Pages:: 10–18
Language:
URL:: https://www.aclweb.org/anthology/W19-1002
DOI:: 10.18653/v1/W19-1002
Bib Export formats:: BibTeX MODS XML EndNote
PDF:: http://aclanthology.lst.uni-saarland.de/W19-1002.pdf

PDF BibTeX Search