HTML Export for Dagstuhl Seminar Proceedings, Volume 10351

Copy to Clipboard Download

<h2>Dagstuhl Seminar Proceedings, Volume 10351, </h2>
<ul>
<li>
    <span class="authors">Amal Ahmed, Nick Benton, Lars Birkedal, and Martin Hofmann</span>
    <span class="title">10351 Abstracts Collection – Modelling, Controlling and Reasoning About State</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.10351.1">10.4230/DagSemProc.10351.1</a>
</li>
<li>
    <span class="authors">Amal Ahmed, Nick Benton, Lars Birkedal, and Martin Hofmann</span>
    <span class="title">10351 Executive Summary – Modelling, Controlling and Reasoning About State</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.10351.2">10.4230/DagSemProc.10351.2</a>
</li>
<li>
    <span class="authors">Robert Dockins and Aquinas Hobor</span>
    <span class="title">A Theory of Termination via Indirection</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.10351.3">10.4230/DagSemProc.10351.3</a>
</li>
<li>
    <span class="authors">Vasileios Koutavas, Paul Blain Levy, and Eijiro Sumii</span>
    <span class="title">Limitations of Applicative Bisimulation (Preliminary Report)</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.10351.4">10.4230/DagSemProc.10351.4</a>
</li>
<li>
    <span class="authors">Nikos Tzevelekos</span>
    <span class="title">Program Equivalence with Names</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.10351.5">10.4230/DagSemProc.10351.5</a>
</li>
<li>
    <span class="authors">Andrew M. Pitts</span>
    <span class="title">Step-Indexed Biorthogonality: a Tutorial Example</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.10351.6">10.4230/DagSemProc.10351.6</a>
</li>
<li>
    <span class="authors">Nick Benton and Chung-Kil Hur</span>
    <span class="title">Step-Indexing: The Good, the Bad and the Ugly</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.10351.7">10.4230/DagSemProc.10351.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