Categories and Types in Logic, Language, and Physics

Keyphrases

Publications

2014

Aleks Kissinger
Abstract Tensor Systems as Monoidal Categories. Categories and Types in Logic, Language, and Physics (2014)
Oriol Valentín
The Hidden Structural Rules of the Discontinuous Lambek Calculus. Categories and Types in Logic, Language, and Physics (2014)
Denis Béchet
NP-Completeness of Grammars Based Upon Products of Free Pregroups. Categories and Types in Logic, Language, and Physics (2014)
Raffaella Bernardi
Distributional Semantics: A Montagovian View. Categories and Types in Logic, Language, and Physics (2014)
Bart Jacobs, Alexandra Silva
Initial Algebras of Terms with Binding and Algebraic Structure. Categories and Types in Logic, Language, and Physics (2014)
Peter Hines
Classical Structures Based on Unitaries. Categories and Types in Logic, Language, and Physics (2014)
Richard Moot
Extended Lambek Calculi and First-Order Linear Logic. Categories and Types in Logic, Language, and Physics (2014)
Claudia Casadio, Aleksandra Kislak-Malinowska
Italian Clitic Patterns in Pregroup Grammar: State of the Art. Categories and Types in Logic, Language, and Physics (2014)
Dusko Pavlovic
Chasing Diagrams in Cryptography. Categories and Types in Logic, Language, and Physics (2014)
Glyn Morrill
A Categorial Type Logic. Categories and Types in Logic, Language, and Physics (2014)
Michael Moortgat
A Note on Multidimensional Dyck Languages. Categories and Types in Logic, Language, and Physics (2014)
Samson Abramsky, Mehrnoosh Sadrzadeh
Semantic Unification - A Sheaf Theoretic Approach to Natural Language. Categories and Types in Logic, Language, and Physics (2014)
V. Michele Abrusci
On Residuation. Categories and Types in Logic, Language, and Physics (2014)
Wojciech Buszkowski
Multi-Sorted Residuation. Categories and Types in Logic, Language, and Physics (2014)
Gonzalo E. Reyes
A Mathematical Analysis of Masaccio's Trinity. Categories and Types in Logic, Language, and Physics (2014)
Stepan L. Kuznetsov
L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents. Categories and Types in Logic, Language, and Physics (2014)
Arno Bastenhof
Type Similarity for the Lambek-Grishin Calculus Revisited. Categories and Types in Logic, Language, and Physics (2014)
Miroslawa Kolowska-Gawiejnowicz
On Canonical Embeddings of Residuated Groupoids. Categories and Types in Logic, Language, and Physics (2014)
Mati Pentus
The Monotone Lambek Calculus Is NP-Complete. Categories and Types in Logic, Language, and Physics (2014)
Alexey Sorokin
Conjoinability in 1-Discontinuous Lambek Calculus. Categories and Types in Logic, Language, and Physics (2014)
Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger
A Logical Basis for Quantum Evolution and Entanglement. Categories and Types in Logic, Language, and Physics (2014)
Roberto Bonato, Christian Retoré
Learning Lambek Grammars from Proof Frames. Categories and Types in Logic, Language, and Physics (2014)
Annie Foret
On Associative Lambek Calculus Extended with Basic Proper Axioms. Categories and Types in Logic, Language, and Physics (2014)

volume 8222, 2014

Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday Categories and Types in Logic, Language, and Physics 8222 (2014)