On a connection between algebra, logic and linguistics
Diagrammes, Actes Volume 1. Journées d'études esquisses, logique et informatique théorique, Tome 22 (1989), pp. 59-75. 
@article{DIA_1989__22__59_0,
     author = {Lambek, J.},
     title = {On a connection between algebra, logic and linguistics},
     journal = {Diagrammes},
     pages = {59--75},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {22},
     year = {1989},
     mrnumber = {1059271},
     zbl = {0711.18001},
     language = {en},
     url = {http://archive.numdam.org/item/DIA_1989__22__59_0/}
}
TY  - JOUR
AU  - Lambek, J.
TI  - On a connection between algebra, logic and linguistics
JO  - Diagrammes
PY  - 1989
SP  - 59
EP  - 75
VL  - 22
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://archive.numdam.org/item/DIA_1989__22__59_0/
LA  - en
ID  - DIA_1989__22__59_0
ER  - 
%0 Journal Article
%A Lambek, J.
%T On a connection between algebra, logic and linguistics
%J Diagrammes
%D 1989
%P 59-75
%V 22
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://archive.numdam.org/item/DIA_1989__22__59_0/
%G en
%F DIA_1989__22__59_0
Lambek, J. On a connection between algebra, logic and linguistics. Diagrammes, Actes Volume 1. Journées d'études esquisses, logique et informatique théorique, Tome 22 (1989), pp. 59-75. http://archive.numdam.org/item/DIA_1989__22__59_0/

Bourbaki, N.: Algèbre multilinéaire, Hermann, Paris, 1948.

Buszkowski, W., W. Marciszewski and J. Van Benthem (eds.): Categorial Grammar, John Benjamins Publ. Co., Amsterdam, 1988. | MR | Zbl

Church, A.: The calculi of lambda-conversion, Annals of Mathematics Studies 6, Princeton University Press, Princeton, N.J., 1941. | JFM | MR

Curry, H.B. and R. Feys: Combinatory Logic I, North Holland, Amsterdam, 1958. | MR | Zbl

Curry, H.B.: Some logical aspects of grammatical structure, Proc. Symposia Appl. Math. 12 ( 1961), 56-68.

Girard, J.Y.: Linear logic, Theoretical Computer Science 50 ( 1987), 1-102. | MR | Zbl

Girard, J.Y.: Towards a geometry of interaction, Contemporary Math. 92 ( 1989), 69-108. | MR | Zbl

Kleene, S.C.: Introduction to metamathematics, Van Nostrand, New York and Toronto, 1952. | MR | Zbl

Lambek, J.: The mathematics of sentence structure, Amer. Math. Monthly 65 ( 1958), 154-69. | MR | Zbl

Lambek, J.: Contributions to a mathematical analysis of the English verb-phrase, J. Can. Linguistic Assoc. 5 ( 1959), 83- 89.

Lambek, J.: On the calculus of syntactic types, Amer. Math. Soc. Proc. Symposia Appl. Math. 12 ( 1961), 166-78.

Lambek, J.: Deductive systems and categories I, J. Math. Systems Theory 2 ( 1968), 278-318. | MR | Zbl

Lambek, J.: Deductive systems and categories II, Springer LNM 86 ( 1969), 76-122. | MR | Zbl

Lambek, J.: Categorial and categorical grammars, in: Oehrle et al. 1988, 297-317.

Lambek, J.: Multicategories revisited, Contemporaxy Math. 92 ( 1989), 217-239. | MR | Zbl

Lambek, J.: Grammar as mathematics, Canad. Math. Bull. 31 ( 1989), 1-17. | MR | Zbl

Lambek, J. and P.J. Scott: Introduction to higher order categorical logic, Cambridge studies in advanced mathematics 7 ( 1986). | MR | Zbl

Minc, G.E.: Closed categories and the theory of proofs, translated from Zapiski Nauchnych Seminarov Leningradskogo Otdeleniya Mat. Instituta im. V.A. Stuklova AN SSSR 68 ( 1977), 83-144. | MR | Zbl

Montague, R.: Formal philosophy, selected papers of Richard Montague, edited by R.H. Thomason, Yale University Press, New Haven, 1974.

Moortgat, M.: Categorial investigations, Foris Publications, Dordrecht, 1988.

Morrill, G.: Grammar as logic, Research Paper EU CCS/RP- 34 ( 1989), Centre for Cognitive Science, University of Edinburgh.

Oehrle, R.T., E. Bach and D. Wheeler (editors): Categorial grammars and natural language structures, Reidel, Dordrecht, 1988.

Steedman, M.: Combinators and grammars, in: Oehrle et al. 1988, 417-442.

Szabo, M.E. (ed.): The collected papers of Gerhard Gentzen, Studies in Logic and the Foundations of Mathematics, North Holland, Amsterdam, 1969. | MR | Zbl

Szabo, M.E.: A categorical equivalence of proofs, Notre Dame J. Formal Logic 15 ( 1974), 177-91. | MR | Zbl

Szabo, M.E.: Algebra of Proofs, Studies in Logic and the Foundations of Mathematics 88, North Holland, Amsterdam, 1978. | MR | Zbl

Szabolcsi, A.: Combinatory grammar and projection from the lexicon, Preprint 1989.

Van Benthem, J.: The semantics of variety in categorial grammar, Simon Fraser University, Report 83-26 ( 1983), reprinted in: Buszkowski et al. 1988, 37-55. | MR | Zbl

Van Benthem, J.: The Lambek calculus, in: Oehrle et al. 1988, 35-88.