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

This is an internal, incomplete preview of a proposed change to the ACL Anthology. For efficiency reasons, we don't generate MODS or Endnote formats, and the preview may be incomplete in other ways, or contain mistakes. Do not treat this content as an official publication.

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

Jean-Philippe Bernardy, Stergios Chatzikyriakidis

Anthology ID:: W17-6801
Volume:: Proceedings of the 12th International Conference on Computational Semantics (IWCS) — Long papers
Month:
Year:: 2017
Address:
Editors:: Claire Gardent, Christian Retoré
Venue:: IWCS
SIG:: SIGSEM
Publisher:
Note:
Pages:
Language:
URL:: https://preview.aclanthology.org/info-author-pages/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 Proceedings of the 12th International Conference on Computational Semantics (IWCS) — 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://preview.aclanthology.org/info-author-pages/W17-6801.pdf

PDF Cite Search Fix data