Journal Articles
Electronic Notes in Theoretical Computer Science
Year : 2001
Areces Carlos : Connect in order to contact the contributor
https://inria.hal.science/inria-00000314
Submitted on : Friday, September 23, 2005-4:53:26 PM
Last modification on : Friday, April 12, 2019-10:20:07 AM
Dates and versions
Identifiers
- HAL Id : inria-00000314 , version 1
Cite
C. Areces, R. Bernardi, M. Moortgat. Galois connections in categorial type logic. Electronic Notes in Theoretical Computer Science, 2001, Electronic Notes in Theoretical Computer Science, 53, pp.3-20. ⟨inria-00000314⟩
6
View
0
Download