Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat

Anthology ID:: W19-5704
Volume:: Proceedings of the 16th Meeting on the Mathematics of Language
Month:: July
Year:: 2019
Address:: Toronto, Canada
Editors:: Philippe de Groote, Frank Drewes, Gerald Penn
Venue:: MoL
SIG:: SIGMOL
Publisher:: Association for Computational Linguistics
Note:
Pages:: 40–49
Language:
URL:: https://aclanthology.org/W19-5704
DOI:: 10.18653/v1/W19-5704
Bibkey:
Cite (ACL):: Colin Zwanziger. 2019. Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat. In Proceedings of the 16th Meeting on the Mathematics of Language, pages 40–49, Toronto, Canada. Association for Computational Linguistics.
Cite (Informal):: Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat (Zwanziger, MoL 2019)
Copy Citation:
PDF:: https://preview.aclanthology.org/ingest-acl-2023-videos/W19-5704.pdf