A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq
2017-01-01WS 2017Unverified0· sign in to hype
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
Unverified — Be the first to reproduce this paper.
ReproduceJean-Philippe Bernardy, Stergios Chatzikyriakidis
Unverified — Be the first to reproduce this paper.
Reproduce