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 | ||