Galois Connections in Categorial Type Logic

Areces, C., Bernardi, R., and Moortgat, M.. Galois Connections in Categorial Type Logic. In Proceedings of Formal Grammar / Mathematics of Language, Helsinki, Finland, August 2001.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@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},
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49