2008 |
20 | EE | Joachim Lambek:
Pregroup Grammars and Chomsky's Earliest Examples.
Journal of Logic, Language and Information 17(2): 141-160 (2008) |
2007 |
19 | EE | Joachim Lambek:
From word to sentence: a pregroup analysis of the object pronoun who ( m ).
Journal of Logic, Language and Information 16(3): 303-323 (2007) |
18 | EE | Anne Preller,
Joachim Lambek:
Free compact 2-categories.
Mathematical Structures in Computer Science 17(2): 309-340 (2007) |
17 | EE | Joachim Lambek:
Should Pregroup Grammars be Adorned with Additional Operations?
Studia Logica 87(2-3): 343-358 (2007) |
2005 |
16 | EE | Joachim Lambek,
Philip J. Scott:
An Exactification of the Monoid of Primitive Recursive Functions.
Studia Logica 81(1): 1-18 (2005) |
2004 |
15 | EE | Joachim Lambek:
What is the world of mathematics?
Ann. Pure Appl. Logic 126(1-3): 149-158 (2004) |
2002 |
14 | | Claudia Casadio,
Joachim Lambek:
A Tale of Four Grammars.
Studia Logica 71(3): 315-329 (2002) |
2001 |
13 | EE | Claudia Casadio,
Joachim Lambek:
An Algebraic Analysis of Clitic Pronouns in Italian.
LACL 2001: 110-124 |
12 | EE | Daniele Bargelli,
Joachim Lambek:
An Algebraic Approach to French Sentence Structure.
LACL 2001: 62-78 |
11 | | Joachim Lambek:
Type Grammars as Pregroups.
Grammars 4(1): 21-39 (2001) |
2000 |
10 | | Jim Lambek:
Pregroups: A New Algebraic Approach to Sentence Structure.
Recent Topics in Mathematical and Computational Linguistics 2000: 182-195 |
1998 |
9 | | Joachim Lambek:
Relations old and new (invited paper).
RelMiCS 1998: 148-158 |
1997 |
8 | EE | Joachim Lambek:
Type Grammar Revisited.
LACL 1997: 1-27 |
7 | EE | Jim Lambek:
Programs, grammars and arguments: a personal view of some connections between computation, language and logic.
Bulletin of Symbolic Logic 3(3): 312-328 (1997) |
1995 |
6 | | Joachim Lambek:
Cut Elimination for Classical Bilinear Logic.
Fundam. Inform. 22(1/2): 53-67 (1995) |
1993 |
5 | | Joachim Lambek:
Programs, grammars and arguments: a personal view of some connections between computation, language and logic
LICS 1993: 246-249 |
4 | | Joachim Lambek:
Least Fixpoints of Endofunctors of Cartesian Closed Categories.
Mathematical Structures in Computer Science 3(2): 229-257 (1993) |
1989 |
3 | | Joachim Lambek:
Fixpoints Revisited.
Logic at Botik 1989: 200-207 |
1985 |
2 | | Joachim Lambek:
Cartesian Closed Categories and Typed Lambda- calculi.
Combinators and Functional Programming Languages 1985: 136-175 |
1968 |
1 | | Joachim Lambek:
Deductive Systems and Categories I. Syntactic Calculus and Residuated Categories.
Mathematical Systems Theory 2(4): 287-318 (1968) |