HTML Export for TLCA 2015

Copy to Clipboard Download

<h2>LIPIcs, Volume 38, TLCA 2015</h2>
<ul>
<li>
    <span class="authors">Thorsten Altenkirch</span>
    <span class="title">LIPIcs, Volume 38, TLCA&#039;15, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015">10.4230/LIPIcs.TLCA.2015</a>
</li>
<li>
    <span class="authors">Thorsten Altenkirch</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.i">10.4230/LIPIcs.TLCA.2015.i</a>
</li>
<li>
    <span class="authors">Bahareh Afshari, Stefan Hetzl, and Graham E. Leigh</span>
    <span class="title">Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.1">10.4230/LIPIcs.TLCA.2015.1</a>
</li>
<li>
    <span class="authors">Benedikt Ahrens, Paolo Capriotti, and Régis Spadotti</span>
    <span class="title">Non-Wellfounded Trees in Homotopy Type Theory</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.17">10.4230/LIPIcs.TLCA.2015.17</a>
</li>
<li>
    <span class="authors">Ali Assaf</span>
    <span class="title">Conservativity of Embeddings in the lambda Pi Calculus Modulo Rewriting</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.31">10.4230/LIPIcs.TLCA.2015.31</a>
</li>
<li>
    <span class="authors">Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, and Sam Staton</span>
    <span class="title">Models for Polymorphism over Physical Dimension</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.45">10.4230/LIPIcs.TLCA.2015.45</a>
</li>
<li>
    <span class="authors">Marc Bagnol</span>
    <span class="title">MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.60">10.4230/LIPIcs.TLCA.2015.60</a>
</li>
<li>
    <span class="authors">Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de’Liguoro, and Jakob Rehof</span>
    <span class="title">Mixin Composition Synthesis Based on Intersection Types</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.76">10.4230/LIPIcs.TLCA.2015.76</a>
</li>
<li>
    <span class="authors">Marc Bezem, Thierry Coquand, and Erik Parmann</span>
    <span class="title">Non-Constructivity in Kan Simplicial Sets</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.92">10.4230/LIPIcs.TLCA.2015.92</a>
</li>
<li>
    <span class="authors">Dariusz Biernacki and Piotr Polesiuk</span>
    <span class="title">Logical Relations for Coherence of Effect Subtyping</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.107">10.4230/LIPIcs.TLCA.2015.107</a>
</li>
<li>
    <span class="authors">Antonio Bucciarelli, Delia Kesner, and Simona Ronchi Della Rocca</span>
    <span class="title">Observability for Pair Pattern Calculi</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.123">10.4230/LIPIcs.TLCA.2015.123</a>
</li>
<li>
    <span class="authors">Simon Castellan, Pierre Clairambault, and Peter Dybjer</span>
    <span class="title">Undecidability of Equality in the Free Locally Cartesian Closed Category</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.138">10.4230/LIPIcs.TLCA.2015.138</a>
</li>
<li>
    <span class="authors">Martín Hötzel Escardó and Chuangjie Xu</span>
    <span class="title">The Inconsistency of a Brouwerian Continuity Principle with the Curry–Howard Interpretation</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.153">10.4230/LIPIcs.TLCA.2015.153</a>
</li>
<li>
    <span class="authors">José Espírito Santo</span>
    <span class="title">Curry-Howard for Sequent Calculus at Last!</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.165">10.4230/LIPIcs.TLCA.2015.165</a>
</li>
<li>
    <span class="authors">Elliot Fairweather, Maribel Fernández, Nora Szasz, and Alvaro Tasistro</span>
    <span class="title">Dependent Types for Nominal Terms with Atom Substitutions</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.180">10.4230/LIPIcs.TLCA.2015.180</a>
</li>
<li>
    <span class="authors">Jonas Frey</span>
    <span class="title">Realizability Toposes from Specifications</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.196">10.4230/LIPIcs.TLCA.2015.196</a>
</li>
<li>
    <span class="authors">Giulio Guerrieri, Luca Paolini, and Simona Ronchi Della Rocca</span>
    <span class="title">Standardization of a Call-By-Value Lambda-Calculus</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.211">10.4230/LIPIcs.TLCA.2015.211</a>
</li>
<li>
    <span class="authors">André Hirschowitz, Tom Hirschowitz, and Nicolas Tabareau</span>
    <span class="title">Wild omega-Categories for the Homotopy Hypothesis in Type Theory</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.226">10.4230/LIPIcs.TLCA.2015.226</a>
</li>
<li>
    <span class="authors">Martin Hofmann and Georg Moser</span>
    <span class="title">Multivariate Amortised Resource Analysis for Term Rewrite Systems</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.241">10.4230/LIPIcs.TLCA.2015.241</a>
</li>
<li>
    <span class="authors">Jean-Pierre Jouannaud and Jianqi Li</span>
    <span class="title">Termination of Dependently Typed Rewrite Rules</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.257">10.4230/LIPIcs.TLCA.2015.257</a>
</li>
<li>
    <span class="authors">Brigitte Pientka and Andreas Abel</span>
    <span class="title">Well-Founded Recursion over Contextual Objects</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.273">10.4230/LIPIcs.TLCA.2015.273</a>
</li>
<li>
    <span class="authors">Brian F. Redmond</span>
    <span class="title">Polynomial Time in the Parametric Lambda Calculus</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.288">10.4230/LIPIcs.TLCA.2015.288</a>
</li>
<li>
    <span class="authors">Colin Riba</span>
    <span class="title">Fibrations of Tree Automata</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.302">10.4230/LIPIcs.TLCA.2015.302</a>
</li>
<li>
    <span class="authors">Gabriel Scherer</span>
    <span class="title">Multi-Focusing on Extensional Rewriting with Sums</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.317">10.4230/LIPIcs.TLCA.2015.317</a>
</li>
<li>
    <span class="authors">Yuting Wang and Kaustuv Chaudhuri</span>
    <span class="title">A Proof-theoretic Characterization of Independence in Type Theory</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TLCA.2015.332">10.4230/LIPIcs.TLCA.2015.332</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode