@InProceedings{hoffman:1993:ACL,
  author    = {Beryl Hoffman},
  title     = {THE FORMAL CONSEQUENCES OF USING VARIABLES IN CCG CATEGORIES},
  booktitle = {Proceedings of the 31st Annual Meeting of the Association for Computational Linguistics},
  month     = {June},
  year      = {1993},
  address   = {Columbus, Ohio, USA},
  publisher = {Association for Computational Linguistics},
  pages     = {298--300},
  url       = {http://www.aclweb.org/anthology/P93-1045},
  doi       = {10.3115/981574.981620}
}