dblp.uni-trier.dewww.uni-trier.de

Joachim Lambek

Jim Lambek

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
20EEJoachim Lambek: Pregroup Grammars and Chomsky's Earliest Examples. Journal of Logic, Language and Information 17(2): 141-160 (2008)
2007
19EEJoachim 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)
18EEAnne Preller, Joachim Lambek: Free compact 2-categories. Mathematical Structures in Computer Science 17(2): 309-340 (2007)
17EEJoachim Lambek: Should Pregroup Grammars be Adorned with Additional Operations? Studia Logica 87(2-3): 343-358 (2007)
2005
16EEJoachim Lambek, Philip J. Scott: An Exactification of the Monoid of Primitive Recursive Functions. Studia Logica 81(1): 1-18 (2005)
2004
15EEJoachim 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
13EEClaudia Casadio, Joachim Lambek: An Algebraic Analysis of Clitic Pronouns in Italian. LACL 2001: 110-124
12EEDaniele 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
8EEJoachim Lambek: Type Grammar Revisited. LACL 1997: 1-27
7EEJim 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)

Coauthor Index

1Daniele Bargelli [12]
2Claudia Casadio [13] [14]
3Anne Preller [18]
4Philip J. Scott [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)