Colin Zwanziger

2019

pdf bib
Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat
Colin Zwanziger
Proceedings of the 16th Meeting on the Mathematics of Language

Search
Co-authors
    Venues