A categorical semantics of quantum protocols, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004., pp.415-425, 2004. ,
DOI : 10.1109/LICS.2004.1319636
Formal Semantics: the essential readings, chapter, Quantifiers and Natural Language, pp.76-125, 2002. ,
Handbook of Philosophical Logic, chapter Higher-Order Logic, pp.275-329, 1983. ,
Cultural Constraints on Grammar and Cognition in Pirah??, Current Anthropology, vol.46, issue.4, 2005. ,
DOI : 10.1086/431525
Quantum logic in dagger kernel categories. Order, pp.177-212, 2010. ,
Substructural Logics, chapter From categorial grammar to bilinear logic, pp.207-237, 1993. ,
Type Grammar Revisited, Logical Aspects of Computational Linguistics, volume 1582 of LNAI, pp.1-27, 1999. ,
DOI : 10.1007/3-540-48975-4_1
Categories for the Working Mathematician, Graduate Texts in Mathematics, vol.5, 1971. ,
Categorical Information Flow in Physics and Linguistics, chapter From Sentence to Concept: Predicate Logic and Quantum Logic in compact Closed Categories, pp.1-30, 2012. ,
Free compact 2-categories, Mathematical Structures for Computer Sciences, pp.1-32, 2007. ,
DOI : 10.1017/S0960129506005901
URL : https://hal.archives-ouvertes.fr/lirmm-00137681
Semantic Vector Models and Functional Models for Pregroup Grammars, Journal of Logic, Language and Information, vol.16, issue.4, pp.419-423, 2011. ,
DOI : 10.1007/s10849-011-9132-2
URL : https://hal.archives-ouvertes.fr/lirmm-00597923
Dagger compact closed categories and completely positive maps (extended abstract), Proceedings of the 3rd International Workshop on Quantum Programming Languages, pp.139-163, 2005. ,