Galois Connections in Categorial Type Logic

Carlos Areces, Raffaella Bernardi, Michael Moortgat. Galois Connections in Categorial Type Logic. Electronic Notes in Theoretical Computer Science, 53:3-20, 2001. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: