Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat Colin Zwanziger author 2019-07 text Proceedings of the 16th Meeting on the Mathematics of Language Philippe de Groote editor Frank Drewes editor Gerald Penn editor Association for Computational Linguistics Toronto, Canada conference publication zwanziger-2019-dependently 10.18653/v1/W19-5704 https://aclanthology.org/W19-5704/ 2019-07 40 49