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

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]