default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID90. Birthday: Joachim Lambek 2014
- Claudia Casadio, Bob Coecke, Michael Moortgat, Philip J. Scott:
Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday. Lecture Notes in Computer Science 8222, Springer 2014, ISBN 978-3-642-54788-1 - Samson Abramsky
, Mehrnoosh Sadrzadeh:
Semantic Unification - A Sheaf Theoretic Approach to Natural Language. 1-13 - V. Michele Abrusci:
On Residuation. 14-27 - Arno Bastenhof:
Type Similarity for the Lambek-Grishin Calculus Revisited. 28-50 - Denis Béchet:
NP-Completeness of Grammars Based Upon Products of Free Pregroups. 51-62 - Raffaella Bernardi:
Distributional Semantics: A Montagovian View. 63-89 - Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger:
A Logical Basis for Quantum Evolution and Entanglement. 90-107 - Roberto Bonato, Christian Retoré:
Learning Lambek Grammars from Proof Frames. 108-135 - Wojciech Buszkowski:
Multi-Sorted Residuation. 136-155 - Claudia Casadio, Aleksandra Kislak-Malinowska:
Italian Clitic Patterns in Pregroup Grammar: State of the Art. 156-171 - Annie Foret:
On Associative Lambek Calculus Extended with Basic Proper Axioms. 172-187 - Peter Hines:
Classical Structures Based on Unitaries. 188-210 - Bart Jacobs, Alexandra Silva:
Initial Algebras of Terms with Binding and Algebraic Structure. 211-234 - Aleks Kissinger:
Abstract Tensor Systems as Monoidal Categories. 235-252 - Miroslawa Kolowska-Gawiejnowicz:
On Canonical Embeddings of Residuated Groupoids. 253-267 - Stepan L. Kuznetsov:
L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents. 268-278 - Michael Moortgat:
A Note on Multidimensional Dyck Languages. 279-296 - Richard Moot:
Extended Lambek Calculi and First-Order Linear Logic. 297-330 - Glyn Morrill:
A Categorial Type Logic. 331-352 - Dusko Pavlovic:
Chasing Diagrams in Cryptography. 353-367 - Mati Pentus:
The Monotone Lambek Calculus Is NP-Complete. 368-380 - Gonzalo E. Reyes:
A Mathematical Analysis of Masaccio's Trinity. 381-392 - Alexey Sorokin:
Conjoinability in 1-Discontinuous Lambek Calculus. 393-401 - Oriol Valentín:
The Hidden Structural Rules of the Discontinuous Lambek Calculus. 402-420
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.
last updated on 2025-11-28 23:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
