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

Ivo Pezlar


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
Editors:
Rainer Osswald, Christian Retoré, Peter Sutton
Venue:
CSTFRS
SIG:
SIGSEM
Publisher:
Association for Computational Linguistics
Note:
Pages:
10–18
Language:
URL:
https://aclanthology.org/W19-1002
DOI:
10.18653/v1/W19-1002
Bibkey:
Cite (ACL):
Ivo Pezlar. 2019. Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory. In Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures, pages 10–18, Gothenburg, Sweden. Association for Computational Linguistics.
Cite (Informal):
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory (Pezlar, CSTFRS 2019)
Copy Citation:
PDF:
https://aclanthology.org/W19-1002.pdf