@inproceedings{dependentlytypedmontaguesemanticsinthe,
  title = {Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat},
  author = {Colin Zwanziger},
  year = {2019},
  booktitle = {WS 2019 7},
  url = {https://aclanthology.org/W19-5704},
}