Galois Connections in Categorial Type Logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2001

Galois Connections in Categorial Type Logic

C. Areces
  • Function : Author
R. Bernardi
  • Function : Author
M. Moortgat
  • Function : Author
No file

Dates and versions

inria-00000315 , version 1 (23-09-2005)

Identifiers

  • HAL Id : inria-00000315 , version 1

Cite

C. Areces, R. Bernardi, M. Moortgat. Galois Connections in Categorial Type Logic. Proceedings of Mathematics of Language and Formal Grammar, 2001, Helsinki, Finland. ⟨inria-00000315⟩
3 View
0 Download

Share

Gmail Facebook X LinkedIn More