Joachim Lambek

23 papers A* 1Journal 16Unranked 6
YearRankTypeTitle / Venue / Authors
2012 J jnl
Logic and Grammar.
Stud Logica
Joachim Lambek
2010 J jnl
Exploring Feature Agreement in French with Parallel Pregroup Computations.
J. Log. Lang. Inf.
Joachim Lambek
2008 J jnl
Pregroup Grammars and Chomsky's Earliest Examples.
J. Log. Lang. Inf.
Joachim Lambek
2007 J jnl
Free compact 2-categories.
Math. Struct. Comput. Sci.
Anne Preller, Joachim Lambek
2007 J jnl
From word to sentence: a pregroup analysis of the object pronoun
J. Log. Lang. Inf.
Joachim Lambek
2007 J jnl
Should Pregroup Grammars be Adorned with Additional Operations?
Stud Logica
Joachim Lambek
2005 J jnl
An Exactification of the Monoid of Primitive Recursive Functions.
Stud Logica
Joachim Lambek, Philip J. Scott
2004 J jnl
What is the world of mathematics?
Ann. Pure Appl. Log.
Joachim Lambek
2002 J jnl
A Tale of Four Grammars.
Stud Logica
Claudia Casadio, Joachim Lambek
2001 — conf
An Algebraic Analysis of Clitic Pronouns in Italian.
LACL
Claudia Casadio, Joachim Lambek
2001 — conf
An Algebraic Approach to French Sentence Structure.
LACL
Daniele Bargelli, Joachim Lambek
2001 J jnl
Type Grammars as Pregroups.
Grammars
Joachim Lambek
1998 — conf
Relations old and new (invited paper).
RelMiCS
Joachim Lambek
1997 — conf
Type Grammar Revisited.
LACL
Joachim Lambek
1995 J jnl
Cut Elimination for Classical Bilinear Logic.
Fundam. Informaticae
Joachim Lambek
1993 J jnl
Least Fixpoints of Endofunctors of Cartesian Closed Categories.
Math. Struct. Comput. Sci.
Joachim Lambek
1993 A* conf
Programs, grammars and arguments: a personal view of some connections between computation, language and logic
LICS
Joachim Lambek
1989 — conf
Fixpoints Revisited.
Logic at Botik
Joachim Lambek
1989 J jnl
On some connections between logic and category theory.
Stud Logica
Joachim Lambek
1985 — conf
Cartesian Closed Categories and Typed Lambda- calculi.
Combinators and Functional Programming Languages
Joachim Lambek
1983 J jnl
New Proofs of Some Intuitionistic Principles.
Math. Log. Q.
Joachim Lambek, Philip J. Scott
1981 J jnl
Intuitionist type theory and foundations.
J. Philos. Log.
Joachim Lambek, Philip J. Scott
1968 J jnl
Deductive Systems and Categories I. Syntactic Calculus and Residuated Categories.
Math. Syst. Theory
Joachim Lambek