Categories and Types in Logic, Language, and Physics
Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday
Editors:
Table of contents (23 chapters)
-
Front Matter
Pages -
-
Chapter
Pages 1-13
-
Chapter
Pages 14-27
-
Chapter
Pages 28-50
Type Similarity for the Lambek-Grishin Calculus Revisited
-
Chapter
Pages 51-62
NP-Completeness of Grammars Based Upon Products of Free Pregroups
-
Chapter
Pages 63-89
Distributional Semantics: A Montagovian View
-
Chapter
Pages 90-107
A Logical Basis for Quantum Evolution and Entanglement
-
Chapter
Pages 108-135
Learning Lambek Grammars from Proof Frames
-
Chapter
Pages 136-155
-
Chapter
Pages 156-171
Italian Clitic Patterns in Pregroup Grammar: State of the Art
-
Chapter
Pages 172-187
On Associative Lambek Calculus Extended with Basic Proper Axioms
-
Chapter
Pages 188-210
Classical Structures Based on Unitaries
-
Chapter
Pages 211-234
Initial Algebras of Terms with Binding and Algebraic Structure
-
Chapter
Pages 235-252
Abstract Tensor Systems as Monoidal Categories
-
Chapter
Pages 253-267
On Canonical Embeddings of Residuated Groupoids
-
Chapter
Pages 268-278
L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents
-
Chapter
Pages 279-296
A Note on Multidimensional Dyck Languages
-
Chapter
Pages 297-330
Extended Lambek Calculi and First-Order Linear Logic
-
Chapter
Pages 331-352
-
Chapter
Pages 353-367
Chasing Diagrams in Cryptography
-
Chapter
Pages 368-380
The Monotone Lambek Calculus Is NP-Complete
Continue reading...
To view the rest of this content please follow the download PDF link above.
