Introduction to higher order categorical logic / J. Lambek and P. J. Scott, 1989
LCNA (CD OCLC), 1993-09 : Lambek, Joachim
Wikipedia, http://fr.wikipedia.org/wiki/Joachim_Lambek, 2015-06-08
Information trouvée : né le 5 décembre 1922, décédé le 23 juin 2014 - Professeur à l'université Mc Gill,
Montréal, Québec, Canada - travaux reconnus sur la formalisation logique des aspects
mathématiques de la syntaxe des langages naturels, qui ont eu un grand impact dans
le domaine de la linguistique informatique