Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tlca/tlca2015.bht:"
download as .bib file
@inproceedings{DBLP:conf/tlca/0001M15,
author = {Martin Hofmann and
Georg Moser},
editor = {Thorsten Altenkirch},
title = {Multivariate Amortised Resource Analysis for Term Rewrite Systems},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {241--256},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.241},
doi = {10.4230/LIPICS.TLCA.2015.241},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/tlca/0001M15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/AfshariHL15,
author = {Bahareh Afshari and
Stefan Hetzl and
Graham Emil Leigh},
editor = {Thorsten Altenkirch},
title = {Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {1--16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.1},
doi = {10.4230/LIPICS.TLCA.2015.1},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/AfshariHL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/AhrensCS15,
author = {Benedikt Ahrens and
Paolo Capriotti and
R{\'{e}}gis Spadotti},
editor = {Thorsten Altenkirch},
title = {Non-Wellfounded Trees in Homotopy Type Theory},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {17--30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.17},
doi = {10.4230/LIPICS.TLCA.2015.17},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/AhrensCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Assaf15,
author = {Ali Assaf},
editor = {Thorsten Altenkirch},
title = {Conservativity of Embeddings in the lambda Pi Calculus Modulo Rewriting},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {31--44},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.31},
doi = {10.4230/LIPICS.TLCA.2015.31},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Assaf15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/AtkeyGFRS15,
author = {Robert Atkey and
Neil Ghani and
Fredrik Nordvall Forsberg and
Timothy Revell and
Sam Staton},
editor = {Thorsten Altenkirch},
title = {Models for Polymorphism over Physical Dimension},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {45--59},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.45},
doi = {10.4230/LIPICS.TLCA.2015.45},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/AtkeyGFRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Bagnol15,
author = {Marc Bagnol},
editor = {Thorsten Altenkirch},
title = {{MALL} Proof Equivalence is Logspace-Complete, via Binary Decision
Diagrams},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {60--75},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.60},
doi = {10.4230/LIPICS.TLCA.2015.60},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Bagnol15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BessaiDDCdR15,
author = {Jan Bessai and
Andrej Dudenhefner and
Boris D{\"{u}}dder and
Tzu{-}Chun Chen and
Ugo de'Liguoro and
Jakob Rehof},
editor = {Thorsten Altenkirch},
title = {Mixin Composition Synthesis Based on Intersection Types},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {76--91},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.76},
doi = {10.4230/LIPICS.TLCA.2015.76},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tlca/BessaiDDCdR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BezemCP15,
author = {Marc Bezem and
Thierry Coquand and
Erik Parmann},
editor = {Thorsten Altenkirch},
title = {Non-Constructivity in Kan Simplicial Sets},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {92--106},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.92},
doi = {10.4230/LIPICS.TLCA.2015.92},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/BezemCP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BiernackiP15,
author = {Dariusz Biernacki and
Piotr Polesiuk},
editor = {Thorsten Altenkirch},
title = {Logical Relations for Coherence of Effect Subtyping},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {107--122},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.107},
doi = {10.4230/LIPICS.TLCA.2015.107},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/BiernackiP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BucciarelliKR15,
author = {Antonio Bucciarelli and
Delia Kesner and
Simona Ronchi Della Rocca},
editor = {Thorsten Altenkirch},
title = {Observability for Pair Pattern Calculi},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {123--137},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.123},
doi = {10.4230/LIPICS.TLCA.2015.123},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/BucciarelliKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/CastellanCD15,
author = {Simon Castellan and
Pierre Clairambault and
Peter Dybjer},
editor = {Thorsten Altenkirch},
title = {Undecidability of Equality in the Free Locally Cartesian Closed Category},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {138--152},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.138},
doi = {10.4230/LIPICS.TLCA.2015.138},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/CastellanCD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/EscardoX15,
author = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
Chuangjie Xu},
editor = {Thorsten Altenkirch},
title = {The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard
Interpretation},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {153--164},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.153},
doi = {10.4230/LIPICS.TLCA.2015.153},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/EscardoX15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/FairweatherFST15,
author = {Elliot Fairweather and
Maribel Fern{\'{a}}ndez and
Nora Szasz and
Alvaro Tasistro},
editor = {Thorsten Altenkirch},
title = {Dependent Types for Nominal Terms with Atom Substitutions},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {180--195},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.180},
doi = {10.4230/LIPICS.TLCA.2015.180},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/FairweatherFST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Frey15,
author = {Jonas Frey},
editor = {Thorsten Altenkirch},
title = {Realizability Toposes from Specifications},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {196--210},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.196},
doi = {10.4230/LIPICS.TLCA.2015.196},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Frey15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/GuerrieriPR15,
author = {Giulio Guerrieri and
Luca Paolini and
Simona Ronchi Della Rocca},
editor = {Thorsten Altenkirch},
title = {Standardization of a Call-By-Value Lambda-Calculus},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {211--225},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.211},
doi = {10.4230/LIPICS.TLCA.2015.211},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tlca/GuerrieriPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/HirschowitzHT15,
author = {Andr{\'{e}} Hirschowitz and
Tom Hirschowitz and
Nicolas Tabareau},
editor = {Thorsten Altenkirch},
title = {Wild omega-Categories for the Homotopy Hypothesis in Type Theory},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {226--240},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.226},
doi = {10.4230/LIPICS.TLCA.2015.226},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/HirschowitzHT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/JouannaudL15,
author = {Jean{-}Pierre Jouannaud and
Jianqi Li},
editor = {Thorsten Altenkirch},
title = {Termination of Dependently Typed Rewrite Rules},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {257--272},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.257},
doi = {10.4230/LIPICS.TLCA.2015.257},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/JouannaudL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Pientka015,
author = {Brigitte Pientka and
Andreas Abel},
editor = {Thorsten Altenkirch},
title = {Well-Founded Recursion over Contextual Objects},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {273--287},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.273},
doi = {10.4230/LIPICS.TLCA.2015.273},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Pientka015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Redmond15,
author = {Brian F. Redmond},
editor = {Thorsten Altenkirch},
title = {Polynomial Time in the Parametric Lambda Calculus},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {288--301},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.288},
doi = {10.4230/LIPICS.TLCA.2015.288},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Redmond15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Riba15,
author = {Colin Riba},
editor = {Thorsten Altenkirch},
title = {Fibrations of Tree Automata},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {302--316},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.302},
doi = {10.4230/LIPICS.TLCA.2015.302},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Riba15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Santo15,
author = {Jos{\'{e}} Esp{\'{\i}}rito Santo},
editor = {Thorsten Altenkirch},
title = {Curry-Howard for Sequent Calculus at Last!},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {165--179},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.165},
doi = {10.4230/LIPICS.TLCA.2015.165},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tlca/Santo15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Scherer15,
author = {Gabriel Scherer},
editor = {Thorsten Altenkirch},
title = {Multi-Focusing on Extensional Rewriting with Sums},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {317--331},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.317},
doi = {10.4230/LIPICS.TLCA.2015.317},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Scherer15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/WangC15,
author = {Yuting Wang and
Kaustuv Chaudhuri},
editor = {Thorsten Altenkirch},
title = {A Proof-theoretic Characterization of Independence in Type Theory},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {332--346},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.332},
doi = {10.4230/LIPICS.TLCA.2015.332},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/WangC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/X15,
editor = {Thorsten Altenkirch},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {i--xii},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.i},
doi = {10.4230/LIPICS.TLCA.2015.I},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/X15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tlca/2015,
editor = {Thorsten Altenkirch},
title = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {http://www.dagstuhl.de/dagpub/978-3-939897-87-3},
isbn = {978-3-939897-87-3},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tlca/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-24 12:48 CEST 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:
