A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq

Jean-Philippe Bernardy, Stergios Chatzikyriakidis


Anthology ID:
W17-6801
Volume:
IWCS 2017 - 12th International Conference on Computational Semantics - Long papers
Month:
Year:
2017
Address:
Venue:
IWCS
SIG:
SIGSEM
Publisher:
Note:
Pages:
Language:
URL:
https://aclanthology.org/W17-6801
DOI:
Bibkey:
Cite (ACL):
Jean-Philippe Bernardy and Stergios Chatzikyriakidis. 2017. A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq. In IWCS 2017 - 12th International Conference on Computational Semantics - Long papers.
Cite (Informal):
A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq (Bernardy & Chatzikyriakidis, IWCS 2017)
Copy Citation:
PDF:
https://aclanthology.org/W17-6801.pdf
Data
SNLI