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. Van-benthem and K. Doets, Handbook of Philosophical Logic, chapter Higher-Order Logic, pp.275-329, 1983.

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

S. Clark, B. Coecke, E. Grefenstette, S. Pulman, and M. Sadrzadeh, Concrete compositional sentence spaces, Compositionality and Distributional Semantic Models, 2010.

D. Clarke, Context-theoretic Semantics for Natural Language, an algebraic framework, 2007.

M. Kracht, The emergence of syntactic structure, Linguistics and Philosophy, vol.22, issue.1, pp.47-95, 2007.
DOI : 10.1007/s10988-006-9011-5

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

J. Lambek, From word to sentence, 2008.

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, pp.173-194, 2007.
DOI : 10.1007/s10849-006-9033-y
URL : https://hal.archives-ouvertes.fr/lirmm-00137673