Galois connections in categorial type logic

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Electronic Notes in Theoretical Computer Science 47

Cite this

@inproceedings{e18ccf7194454ae0a72470d9d87b210f,

title = "Galois connections in categorial type logic",

author = "C. Areces and R. Bernardi and M.J. Moortgat",

note = "Electronic Notes in Theoretical Computer Science 47",

year = "2001",

language = "Undefined/Unknown",

pages = "1--12",

editor = "R.T. Oehrle and \{et al.\}",

booktitle = "Preproceedings of FGMOL 2001",

publisher = "Elsevier",

address = "Netherlands",

}