Conference Papers
Year : 2001
Areces Carlos : Connect in order to contact the contributor
https://inria.hal.science/inria-00000315
Submitted on : Friday, September 23, 2005-4:54:41 PM
Last modification on : Friday, September 23, 2005-4:54:41 PM
Dates and versions
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