Creative Commons
| Preface Ronchi Della Rocca, Severi | ||
| The Safe Lambda Calculus | ||
| William Blum and C.-H. Luke Ong | ||
| On tiered small jump operators | ||
| Jean-Yves Marion | ||
| The Omega Rule is Π11-Complete in the λβ-Calculus | ||
| Benedetto Intrigila and Richard Statman | ||
| Polynomial Size Analysis of First-Order Shapely Functions | ||
| Olha Shkaravska, Marko van Eekelen and Ron van Kesteren | ||
| Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi | ||
| Jose Espirito Santo, Ralph Matthes and Luis Pinto | ||
| Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators | ||
| Damiano Mazza | ||