A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq Jean-Philippe Bernardy author Stergios Chatzikyriakidis author 2017 text Proceedings of the 12th International Conference on Computational Semantics (IWCS) — Long papers Claire Gardent editor Christian Retoré editor conference publication bernardy-chatzikyriakidis-2017-type https://aclanthology.org/W17-6801/ 2017