HTML Export for TYPES 2015

Copy to Clipboard Download

<h2>LIPIcs, Volume 69, TYPES 2015</h2>
<ul>
<li>
    <span class="authors">Tarmo Uustalu</span>
    <span class="title">LIPIcs, Volume 69, TYPES&#039;15, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2015">10.4230/LIPIcs.TYPES.2015</a>
</li>
<li>
    <span class="authors">Tarmo Uustalu</span>
    <span class="title">Front Matter, Table of Contents, Preface, External Reviewers</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2015.0">10.4230/LIPIcs.TYPES.2015.0</a>
</li>
<li>
    <span class="authors">Robin Adams and Bart Jacobs</span>
    <span class="title">A Type Theory for Probabilistic and Bayesian Reasoning</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2015.1">10.4230/LIPIcs.TYPES.2015.1</a>
</li>
<li>
    <span class="authors">Benedikt Ahrens and Ralph Matthes</span>
    <span class="title">Heterogeneous Substitution Systems Revisited</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2015.2">10.4230/LIPIcs.TYPES.2015.2</a>
</li>
<li>
    <span class="authors">Thorsten Altenkirch and Ambrus Kaposi</span>
    <span class="title">Towards a Cubical Type Theory without an Interval</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2015.3">10.4230/LIPIcs.TYPES.2015.3</a>
</li>
<li>
    <span class="authors">Davide Ancona, Paola Giannini, and Elena Zucca</span>
    <span class="title">Constrained Polymorphic Types for a Calculus with Name Variables</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2015.4">10.4230/LIPIcs.TYPES.2015.4</a>
</li>
<li>
    <span class="authors">Cyril Cohen, Thierry Coquand, Simon Huber, and Anders Mörtberg</span>
    <span class="title">Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2015.5">10.4230/LIPIcs.TYPES.2015.5</a>
</li>
<li>
    <span class="authors">Juan Edi, Andrés Viso, and Eduardo Bonelli</span>
    <span class="title">Efficient Type Checking for Path Polymorphism</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2015.6">10.4230/LIPIcs.TYPES.2015.6</a>
</li>
<li>
    <span class="authors">Luca Paolini, Mauro Piccolo, and Luca Roversi</span>
    <span class="title">A Certified Study of a Reversible Programming Language</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2015.7">10.4230/LIPIcs.TYPES.2015.7</a>
</li>
<li>
    <span class="authors">Erik Parmann</span>
    <span class="title">Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2015.8">10.4230/LIPIcs.TYPES.2015.8</a>
</li>
<li>
    <span class="authors">João Paulo Pizani Flor, Wouter Swierstra, and Yorick Sijsling</span>
    <span class="title">Pi-Ware: Hardware Description and Verification in Agda</span>
    <a class="doi" href="https://doi.org/10.4230/LIPIcs.TYPES.2015.9">10.4230/LIPIcs.TYPES.2015.9</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