• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 24 matches

• 2014
• 
  Samson Abramsky, Mehrnoosh Sadrzadeh:
  Semantic Unification - A Sheaf Theoretic Approach to Natural Language. Categories and Types in Logic, Language, and Physics 2014: 1-13
• 
  V. Michele Abrusci:
  On Residuation. Categories and Types in Logic, Language, and Physics 2014: 14-27
• 
  Arno Bastenhof:
  Type Similarity for the Lambek-Grishin Calculus Revisited. Categories and Types in Logic, Language, and Physics 2014: 28-50
• 
  Denis Béchet:
  NP-Completeness of Grammars Based Upon Products of Free Pregroups. Categories and Types in Logic, Language, and Physics 2014: 51-62
• 
  Raffaella Bernardi:
  Distributional Semantics: A Montagovian View. Categories and Types in Logic, Language, and Physics 2014: 63-89
• 
  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: 90-107
• 
  Roberto Bonato, Christian Retoré:
  Learning Lambek Grammars from Proof Frames. Categories and Types in Logic, Language, and Physics 2014: 108-135
• 
  Wojciech Buszkowski:
  Multi-Sorted Residuation. Categories and Types in Logic, Language, and Physics 2014: 136-155
• 
  Claudia Casadio, Aleksandra Kislak-Malinowska:
  Italian Clitic Patterns in Pregroup Grammar: State of the Art. Categories and Types in Logic, Language, and Physics 2014: 156-171
• 
  Annie Foret:
  On Associative Lambek Calculus Extended with Basic Proper Axioms. Categories and Types in Logic, Language, and Physics 2014: 172-187
• 
  Peter Hines:
  Classical Structures Based on Unitaries. Categories and Types in Logic, Language, and Physics 2014: 188-210
• 
  Bart Jacobs, Alexandra Silva:
  Initial Algebras of Terms with Binding and Algebraic Structure. Categories and Types in Logic, Language, and Physics 2014: 211-234
• 
  Aleks Kissinger:
  Abstract Tensor Systems as Monoidal Categories. Categories and Types in Logic, Language, and Physics 2014: 235-252
• 
  Miroslawa Kolowska-Gawiejnowicz:
  On Canonical Embeddings of Residuated Groupoids. Categories and Types in Logic, Language, and Physics 2014: 253-267
• 
  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: 268-278
• 
  Michael Moortgat:
  A Note on Multidimensional Dyck Languages. Categories and Types in Logic, Language, and Physics 2014: 279-296
• 
  Richard Moot:
  Extended Lambek Calculi and First-Order Linear Logic. Categories and Types in Logic, Language, and Physics 2014: 297-330
• 
  Glyn Morrill:
  A Categorial Type Logic. Categories and Types in Logic, Language, and Physics 2014: 331-352
• 
  Dusko Pavlovic:
  Chasing Diagrams in Cryptography. Categories and Types in Logic, Language, and Physics 2014: 353-367
• 
  Mati Pentus:
  The Monotone Lambek Calculus Is NP-Complete. Categories and Types in Logic, Language, and Physics 2014: 368-380
• 
  Gonzalo E. Reyes:
  A Mathematical Analysis of Masaccio's Trinity. Categories and Types in Logic, Language, and Physics 2014: 381-392
• 
  Alexey Sorokin:
  Conjoinability in 1-Discontinuous Lambek Calculus. Categories and Types in Logic, Language, and Physics 2014: 393-401
• 
  Oriol Valentín:
  The Hidden Structural Rules of the Discontinuous Lambek Calculus. Categories and Types in Logic, Language, and Physics 2014: 402-420
• 
  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 [contents]