@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/fix-sig-urls/W15-2307/", doi = "10.3115/v1/W15-2307", pages = "75--86" }