- 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
- 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)
- PDF:
- https://preview.aclanthology.org/nschneid-patch-4/W19-5704.pdf