Search dblp for Publications

export results for "toc:db/conf/birthday/lambek2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/AbramskyS14,
  author       = {Samson Abramsky and
                  Mehrnoosh Sadrzadeh},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {Semantic Unification - {A} Sheaf Theoretic Approach to Natural Language},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {1--13},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_1},
  doi          = {10.1007/978-3-642-54789-8\_1},
  timestamp    = {Wed, 15 Feb 2023 22:07:57 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/AbramskyS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Abrusci14,
  author       = {V. Michele Abrusci},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {On Residuation},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {14--27},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_2},
  doi          = {10.1007/978-3-642-54789-8\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Abrusci14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Bastenhof14,
  author       = {Arno Bastenhof},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {Type Similarity for the Lambek-Grishin Calculus Revisited},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {28--50},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_3},
  doi          = {10.1007/978-3-642-54789-8\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Bastenhof14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Bechet14,
  author       = {Denis B{\'{e}}chet},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {NP-Completeness of Grammars Based Upon Products of Free Pregroups},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {51--62},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_4},
  doi          = {10.1007/978-3-642-54789-8\_4},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Bechet14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Bernardi14,
  author       = {Raffaella Bernardi},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {Distributional Semantics: {A} Montagovian View},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {63--89},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_5},
  doi          = {10.1007/978-3-642-54789-8\_5},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Bernardi14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BluteGIPS14,
  author       = {Richard Blute and
                  Alessio Guglielmi and
                  Ivan T. Ivanov and
                  Prakash Panangaden and
                  Lutz Stra{\ss}burger},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {A Logical Basis for Quantum Evolution and Entanglement},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {90--107},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_6},
  doi          = {10.1007/978-3-642-54789-8\_6},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BluteGIPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BonatoR14,
  author       = {Roberto Bonato and
                  Christian Retor{\'{e}}},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {Learning Lambek Grammars from Proof Frames},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {108--135},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_7},
  doi          = {10.1007/978-3-642-54789-8\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BonatoR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Buszkowski14,
  author       = {Wojciech Buszkowski},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {Multi-Sorted Residuation},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {136--155},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_8},
  doi          = {10.1007/978-3-642-54789-8\_8},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Buszkowski14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/CasadioK14,
  author       = {Claudia Casadio and
                  Aleksandra Kislak{-}Malinowska},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {Italian Clitic Patterns in Pregroup Grammar: State of the Art},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {156--171},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_9},
  doi          = {10.1007/978-3-642-54789-8\_9},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/CasadioK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Foret14,
  author       = {Annie Foret},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {On Associative Lambek Calculus Extended with Basic Proper Axioms},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {172--187},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_10},
  doi          = {10.1007/978-3-642-54789-8\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Foret14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Hines14,
  author       = {Peter Hines},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {Classical Structures Based on Unitaries},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {188--210},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_11},
  doi          = {10.1007/978-3-642-54789-8\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Hines14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/JacobsS14,
  author       = {Bart Jacobs and
                  Alexandra Silva},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {Initial Algebras of Terms with Binding and Algebraic Structure},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {211--234},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_12},
  doi          = {10.1007/978-3-642-54789-8\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/JacobsS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Kissinger14,
  author       = {Aleks Kissinger},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {Abstract Tensor Systems as Monoidal Categories},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {235--252},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_13},
  doi          = {10.1007/978-3-642-54789-8\_13},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Kissinger14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Kolowska-Gawiejnowicz14,
  author       = {Miroslawa Kolowska{-}Gawiejnowicz},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {On Canonical Embeddings of Residuated Groupoids},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {253--267},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_14},
  doi          = {10.1007/978-3-642-54789-8\_14},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Kolowska-Gawiejnowicz14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Kuznetsov14,
  author       = {Stepan L. Kuznetsov},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {L-Completeness of the Lambek Calculus with the Reversal Operation
                  Allowing Empty Antecedents},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {268--278},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_15},
  doi          = {10.1007/978-3-642-54789-8\_15},
  timestamp    = {Mon, 16 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Kuznetsov14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Moortgat14,
  author       = {Michael Moortgat},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {A Note on Multidimensional Dyck Languages},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {279--296},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_16},
  doi          = {10.1007/978-3-642-54789-8\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Moortgat14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Moot14,
  author       = {Richard Moot},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {Extended Lambek Calculi and First-Order Linear Logic},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {297--330},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_17},
  doi          = {10.1007/978-3-642-54789-8\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Moot14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Morrill14,
  author       = {Glyn Morrill},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {A Categorial Type Logic},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {331--352},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_18},
  doi          = {10.1007/978-3-642-54789-8\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Morrill14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Pavlovic14,
  author       = {Dusko Pavlovic},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {Chasing Diagrams in Cryptography},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {353--367},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_19},
  doi          = {10.1007/978-3-642-54789-8\_19},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Pavlovic14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Pentus14,
  author       = {Mati Pentus},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {The Monotone Lambek Calculus Is NP-Complete},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {368--380},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_20},
  doi          = {10.1007/978-3-642-54789-8\_20},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Pentus14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Reyes14,
  author       = {Gonzalo E. Reyes},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {A Mathematical Analysis of Masaccio's Trinity},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {381--392},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_21},
  doi          = {10.1007/978-3-642-54789-8\_21},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Reyes14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Sorokin14,
  author       = {Alexey Sorokin},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {Conjoinability in 1-Discontinuous Lambek Calculus},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {393--401},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_22},
  doi          = {10.1007/978-3-642-54789-8\_22},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Sorokin14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Valentin14,
  author       = {Oriol Valent{\'{\i}}n},
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {The Hidden Structural Rules of the Discontinuous Lambek Calculus},
  booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  pages        = {402--420},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8\_23},
  doi          = {10.1007/978-3-642-54789-8\_23},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Valentin14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/2014lambek,
  editor       = {Claudia Casadio and
                  Bob Coecke and
                  Michael Moortgat and
                  Philip J. Scott},
  title        = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
                  to Jim Lambek on the Occasion of His 90th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8222},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54789-8},
  doi          = {10.1007/978-3-642-54789-8},
  isbn         = {978-3-642-54788-1},
  timestamp    = {Wed, 15 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/2014lambek.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.