Joachim Lambek - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2012

Logic and GrammarJoachim Lambek. sLogica, 100(4):667-681, 2012. [doi]

2010

Exploring Feature Agreement in French with Parallel Pregroup ComputationsJoachim Lambek. jolli, 19(1):75-88, 2010. [doi]

2008

Pregroup Grammars and Chomsky s Earliest ExamplesJoachim Lambek. jolli, 17(2):141-160, 2008. [doi]

2007

From word to sentence: a pregroup analysis of the object pronoun ::::who:::: ( ::::m:::: )Joachim Lambek. jolli, 16(3):303-323, 2007. [doi]

Should Pregroup Grammars be Adorned with Additional Operations?Joachim Lambek. sLogica, 87(2-3):343-358, 2007. [doi]

Free compact 2-categoriesAnne Preller, Joachim Lambek. mscs, 17(2):309-340, 2007. [doi]

2005

An Exactification of the Monoid of Primitive Recursive FunctionsJoachim Lambek, Philip J. Scott. sLogica, 81(1):1-18, 2005. [doi]

2004

What is the world of mathematics?Joachim Lambek. APAL, 126(1-3):149-158, 2004. [doi]

2002

A Tale of Four GrammarsClaudia Casadio, Joachim Lambek. sLogica, 71(3):315-329, 2002.

2001

An Algebraic Approach to French Sentence StructureDaniele Bargelli, Joachim Lambek. lacl 2001: 62-78 [doi]

An Algebraic Analysis of Clitic Pronouns in ItalianClaudia Casadio, Joachim Lambek. lacl 2001: 110-124 [doi]

Type Grammars as PregroupsJoachim Lambek. grammars, 4(1):21-39, 2001.

1998

Relations old and new (invited paper)Joachim Lambek. RelMiCS 1998: 148-158

1997

Type Grammar RevisitedJoachim Lambek. lacl 1999: 1-27 [doi]

1995

Cut Elimination for Classical Bilinear LogicJoachim Lambek. FUIN, 22(1/2):53-67, 1995.

1993

Least Fixpoints of Endofunctors of Cartesian Closed CategoriesJoachim Lambek. mscs, 3(2):229-257, 1993.

Programs, grammars and arguments: a personal view of some connections between computation, language and logicJoachim Lambek. lics 1993: 246-249

1989

Fixpoints RevisitedJoachim Lambek. ershov 1989: 200-207

On some connections between logic and category theoryJoachim Lambek. sLogica, 48(3):269-278, 1989. [doi]

1985

Cartesian Closed Categories and Typed Lambda- calculiJoachim Lambek. litp 1986: 136-175

1983

New Proofs of Some Intuitionistic PrinciplesJoachim Lambek, Philip J. Scott. mlq, 29(10):493-504, 1983. [doi]

1981

Intuitionist type theory and foundationsJoachim Lambek, Philip J. Scott. jphil, 10(1):101-115, 1981. [doi]

1968

Deductive Systems and Categories I. Syntactic Calculus and Residuated CategoriesJoachim Lambek. mst, 2(4):287-318, 1968.

Sign in or sign up to see more results.

runs on WebDSL