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.

S. Clark and S. Pulman, Combining symbolic and distributional models of meaning, Proceedings of the AAAI Spring Symposium on Quantum Interaction, 2007.

S. Clark, B. Coecke, and M. Sadrzadeh, A compositional distributional model of meaning, Proceedings of Conference on Quantum Interactions, 2008.

P. Halmos, Lectures on Boolean algebras, 1974.
DOI : 10.1007/978-1-4612-9855-7

J. Lambek, The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-170, 1958.
DOI : 10.2307/2310058

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

A. Preller, Category Theoretical Semantics for Pregroup Grammars, Logical Aspects of Computational Linguistics, pp.254-270, 2005.
DOI : 10.1007/11422532_16
URL : https://hal.archives-ouvertes.fr/lirmm-00106060

A. Preller, Toward discourse representation via pregroup grammars, Journal of Logic, Language and Information, vol.14, issue.2
DOI : 10.1007/s10849-006-9033-y
URL : https://hal.archives-ouvertes.fr/lirmm-00137673

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

C. J. Van-rijsbergen, The Geometry of Information Retrieval, 2004.
DOI : 10.1017/CBO9780511543333

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.

P. Smolensky, Connectionism, constituency and language of thought, Minds, Brains, and Computers, pp.284-308, 1988.

D. Widdows, Geometry and Meaning. Number 172 in CSLI lecture notes, 2004.