HTML Export for TYPES 2017

Copy to Clipboard Download

<h2>LIPIcs, Volume 104, TYPES 2017</h2>
<ul>
<li>
    <span class="authors">Andreas Abel, Fredrik Nordvall Forsberg, and Ambrus Kaposi</span>
    <span class="title">LIPIcs, Volume 104, TYPES&#039;17, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2017">10.4230/LIPIcs.TYPES.2017</a>
</li>
<li>
    <span class="authors">Andreas Abel, Fredrik Nordvall Forsberg, and Ambrus Kaposi</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2017.0">10.4230/LIPIcs.TYPES.2017.0</a>
</li>
<li>
    <span class="authors">Guillaume Allais</span>
    <span class="title">Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2017.1">10.4230/LIPIcs.TYPES.2017.1</a>
</li>
<li>
    <span class="authors">Andrej Dudenhefner and Jakob Rehof</span>
    <span class="title">Lower End of the Linial-Post Spectrum</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2017.2">10.4230/LIPIcs.TYPES.2017.2</a>
</li>
<li>
    <span class="authors">Herman Geuvers and Tonny Hurkens</span>
    <span class="title">Proof Terms for Generalized Natural Deduction</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2017.3">10.4230/LIPIcs.TYPES.2017.3</a>
</li>
<li>
    <span class="authors">Rodolphe Lepigre</span>
    <span class="title">PML2: Integrated Program Verification in ML</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2017.4">10.4230/LIPIcs.TYPES.2017.4</a>
</li>
<li>
    <span class="authors">Julius Michaelis and Tobias Nipkow</span>
    <span class="title">Formalized Proof Systems for Propositional Logic</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2017.5">10.4230/LIPIcs.TYPES.2017.5</a>
</li>
<li>
    <span class="authors">Ian Orton and Andrew M. Pitts</span>
    <span class="title">Decomposing the Univalence Axiom</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2017.6">10.4230/LIPIcs.TYPES.2017.6</a>
</li>
<li>
    <span class="authors">Erik Palmgren</span>
    <span class="title">On Equality of Objects in Categories in Constructive Type Theory</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2017.7">10.4230/LIPIcs.TYPES.2017.7</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