![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Joachim Lambek
Person information
- affiliation: McGill University, Montréal, QC, Canada
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2012
- [j17]Joachim Lambek:
Logic and Grammar. Stud Logica 100(4): 667-681 (2012) - 2010
- [j16]Joachim Lambek:
Exploring Feature Agreement in French with Parallel Pregroup Computations. J. Log. Lang. Inf. 19(1): 75-88 (2010) - 2008
- [j15]Joachim Lambek:
Pregroup Grammars and Chomsky's Earliest Examples. J. Log. Lang. Inf. 17(2): 141-160 (2008) - 2007
- [j14]Joachim Lambek:
From word to sentence: a pregroup analysis of the object pronoun who ( m ). J. Log. Lang. Inf. 16(3): 303-323 (2007) - [j13]Anne Preller, Joachim Lambek:
Free compact 2-categories. Math. Struct. Comput. Sci. 17(2): 309-340 (2007) - [j12]Joachim Lambek:
Should Pregroup Grammars be Adorned with Additional Operations? Stud Logica 87(2-3): 343-358 (2007) - 2005
- [j11]Joachim Lambek, Philip J. Scott:
An Exactification of the Monoid of Primitive Recursive Functions. Stud Logica 81(1): 1-18 (2005) - 2004
- [j10]Joachim Lambek:
What is the world of mathematics? Ann. Pure Appl. Log. 126(1-3): 149-158 (2004) - 2002
- [j9]Claudia Casadio, Joachim Lambek:
A Tale of Four Grammars. Stud Logica 71(3): 315-329 (2002) - 2001
- [j8]Joachim Lambek:
Type Grammars as Pregroups. Grammars 4(1): 21-39 (2001) - 1997
- [j7]Jim Lambek:
Programs, grammars and arguments: a personal view of some connections between computation, language and logic. Bull. Symb. Log. 3(3): 312-328 (1997) - 1995
- [j6]Joachim Lambek:
Cut Elimination for Classical Bilinear Logic. Fundam. Informaticae 22(1/2): 53-67 (1995) - 1993
- [j5]Joachim Lambek:
Least Fixpoints of Endofunctors of Cartesian Closed Categories. Math. Struct. Comput. Sci. 3(2): 229-257 (1993) - 1989
- [j4]Joachim Lambek:
On some connections between logic and category theory. Stud Logica 48(3): 269-278 (1989) - 1983
- [j3]Joachim Lambek, Philip J. Scott:
New Proofs of Some Intuitionistic Principles. Math. Log. Q. 29(10): 493-504 (1983) - 1981
- [j2]Joachim Lambek, Philip J. Scott:
Intuitionist type theory and foundations. J. Philos. Log. 10(1): 101-115 (1981) - 1968
- [j1]Joachim Lambek:
Deductive Systems and Categories I. Syntactic Calculus and Residuated Categories. Math. Syst. Theory 2(4): 287-318 (1968)
Conference and Workshop Papers
- 2001
- [c8]Daniele Bargelli, Joachim Lambek:
An Algebraic Approach to French Sentence Structure. LACL 2001: 62-78 - [c7]Claudia Casadio, Joachim Lambek:
An Algebraic Analysis of Clitic Pronouns in Italian. LACL 2001: 110-124 - 2000
- [c6]Jim Lambek:
Pregroups: A New Algebraic Approach to Sentence Structure. Recent Topics in Mathematical and Computational Linguistics 2000: 182-195 - 1998
- [c5]Joachim Lambek:
Relations old and new (invited paper). RelMiCS 1998: 148-158 - 1997
- [c4]Joachim Lambek:
Type Grammar Revisited. LACL 1997: 1-27 - 1993
- [c3]Joachim Lambek:
Programs, grammars and arguments: a personal view of some connections between computation, language and logic. LICS 1993: 246-249 - 1989
- [c2]Joachim Lambek:
Fixpoints Revisited. Logic at Botik 1989: 200-207 - 1985
- [c1]Joachim Lambek:
Cartesian Closed Categories and Typed Lambda- calculi. Combinators and Functional Programming Languages 1985: 136-175
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint