@inproceedings{hoffman-1993-formal,
    title = "The Formal Consequences of Using Variables in {CCG} Categories",
    author = "Hoffman, Beryl",
    booktitle = "31st Annual Meeting of the Association for Computational Linguistics",
    month = jun,
    year = "1993",
    address = "Columbus, Ohio, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/P93-1045/",
    doi = "10.3115/981574.981620",
    pages = "298--300"
}