ACL Anthology
About
Announcements
Communication channels
Related work
Copyright
Credits
Volunteer
Development
Feedback
Using
Author directory
Citing papers
Links in the Anthology
Data access
All FAQs
Details
Anthology identifiers
Names
ORCID iDs
DOIs
Verified authors
Contributions
Submissions
Corrections
Maintain author pages
Attachments
GitHub
Colin
Zwanziger
Author directory
2019
pdf
bib
Dependently-Typed
M
ontague Semantics in the Proof Assistant Agda-flat
Colin Zwanziger
Proceedings of the 16th Meeting on the Mathematics of Language
Search
Co-authors
Venues
MoL
1
Fix author