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

Colin Zwanziger


Anthology ID:
W19-5704
Volume:
Proceedings of the 16th Meeting on the Mathematics of Language
Month:
July
Year:
2019
Address:
Toronto, Canada
Venues:
MoL | WS
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, 2019)
Copy Citation:
PDF:
https://aclanthology.org/W19-5704.pdf