@inproceedings{mcallester-2015-synopsis,
    title = "A Synopsis of Morphoid Type Theory",
    author = "McAllester, David",
    editor = "Kuhlmann, Marco  and
      Kanazawa, Makoto  and
      Kobele, Gregory M.",
    booktitle = "Proceedings of the 14th Meeting on the Mathematics of Language ({M}o{L} 2015)",
    month = jul,
    year = "2015",
    address = "Chicago, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/W15-2307/",
    doi = "10.3115/v1/W15-2307",
    pages = "75--86"
}