S. Abramsky and B. Coecke, 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

J. Barwise and R. Cooper, Formal Semantics: the essential readings, chapter, Quantifiers and Natural Language, pp.76-125, 2002.

J. Van-benthem and K. Doets, Handbook of Philosophical Logic, chapter Higher-Order Logic, pp.275-329, 1983.

D. Everett, Cultural Constraints on Grammar and Cognition in Pirah??, Current Anthropology, vol.46, issue.4, 2005.
DOI : 10.1086/431525

C. Heunen and B. Jacobs, Quantum logic in dagger kernel categories. Order, pp.177-212, 2010.

J. Lambek, Substructural Logics, chapter From categorial grammar to bilinear logic, pp.207-237, 1993.

J. Lambek, Type Grammar Revisited, Logical Aspects of Computational Linguistics, volume 1582 of LNAI, pp.1-27, 1999.
DOI : 10.1007/3-540-48975-4_1

S. Mac and L. , Categories for the Working Mathematician, Graduate Texts in Mathematics, vol.5, 1971.

A. Preller, 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.

A. Preller and J. Lambek, 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

A. Preller and M. Sadrzadeh, 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

P. Selinger, Dagger compact closed categories and completely positive maps (extended abstract), Proceedings of the 3rd International Workshop on Quantum Programming Languages, pp.139-163, 2005.