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]

Abstract

Abstract is missing.