J. Lambek, On the calculus of syntactic types, Structure of Language and its Mathematical Aspects. Proceedings of Symposia in Applied Mathematics, XII, 1961.
DOI : 10.1090/psapm/012/9972

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

J. Y. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

M. Moortgat, Categorial type logics Handbook of Logic and Language, pp.93-177, 1996.

M. Hepple, Hybrid Categorial Logics, Logic Journal of IGPL, vol.3, issue.2-3, pp.343-355, 1995.
DOI : 10.1093/jigpal/3.2-3.343

N. Kurtonina and M. Moortgat, Structural control, Specifying Syntactic Structures. Studies in Logic, Language and Information, pp.75-113, 1997.

R. Moot, Grail: an automated proof assistant for categorial grammar logics, Proceedings of Calculemus/User Interfaces for Theorem Provers, pp.120-129, 1998.