@INPROCEEDINGS{arec:galo01b,
  author = {Areces, C. and Bernardi, R. and Moortgat, M.},
  title = {Galois Connections in Categorial Type Logic},
  booktitle = {Proceedings of Formal Grammar / Mathematics of Language},
  year = {2001},
  address = {Helsinki, Finland},
  month = {August},
}