Jean-Philippe Bernardy, Stergios Chatzikyriakidis. A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq. In Claire Gardent, Christian Retoré, editors, IWCS 2017 - 12th International Conference on Computational Semantics - Long papers, Montpellier, France, September 19 - 22, 2017. The Association for Computer Linguistics, 2017. [doi]
@inproceedings{BernardyC17,
title = {A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq},
author = {Jean-Philippe Bernardy and Stergios Chatzikyriakidis},
year = {2017},
url = {https://aclanthology.info/papers/W17-6801/w17-6801},
researchr = {https://researchr.org/publication/BernardyC17},
cites = {0},
citedby = {0},
booktitle = {IWCS 2017 - 12th International Conference on Computational Semantics - Long papers, Montpellier, France, September 19 - 22, 2017},
editor = {Claire Gardent and Christian Retoré},
publisher = {The Association for Computer Linguistics},
}