Joachim Lambek

Joachim Lambek(Q1029256) is a mathematician who is credited for Curry-Howard-Lambek Correspondence.

Content Link
Book/From Word to Sentence: a computational algebraic approach to grammar
Book/Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
Book/Mathematical Foundations of Computational Engineering
Book/Programs Grammars Arguments
Paper/The Mathematics of Sentence Structure