@inproceedings{zwanziger-2019-dependently,
    title = "Dependently-Typed {M}ontague Semantics in the Proof Assistant Agda-flat",
    author = "Zwanziger, Colin",
    editor = "de Groote, Philippe  and
      Drewes, Frank  and
      Penn, Gerald",
    booktitle = "Proceedings of the 16th Meeting on the Mathematics of Language",
    month = jul,
    year = "2019",
    address = "Toronto, Canada",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-emnlp/W19-5704/",
    doi = "10.18653/v1/W19-5704",
    pages = "40--49"
}