Creative Commons
| Preface Marc Bezem and Pawel Urzyczyn | ||
| Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion | ||
| Thomas Ehrhard, Antonio Bucciarelli, Alberto Carraro and Giulio Manzonetto | ||
| Continuous Markovian Logics - Axiomatization and Quantified Metatheory | ||
| Radu Mardare, Luca Cardelli and Kim G. Larsen | ||
| L-Recursion and a new Logic for Logarithmic Space | ||
| Martin Grohe, Berit Grußien, André Hernich and Bastian Laubner | ||
| Unifying Büchi Complementation Constructions | ||
| Seth J. Fogarty, Orna Kupferman, Thomas Wilke and Moshe Y. Vardi | ||
| Non-idempotent intersection types and strong normalisation | ||
| Alexis Bernadet and Stéphane Jean Lengrand | ||
| Step-Indexed Relational Reasoning for Countable Nondeterminism | ||
| Lars Birkedal, Aleš Bizjak and Jan Schwinghammer | ||
| Synthesis from Probabilistic Components | ||
| Yoad Lustig, Sumit Nain and Moshe Y. Vardi | ||