default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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 = {Sun, 04 Aug 2024 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}
}
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.
retrieved on 2024-11-13 12:57 CET from data curated 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:
