Logical Methods in Computer Science

HOME

SPECIAL ISSUE:
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2007" (in progress)
Paris, France, 2007

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 Π₁¹-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

DOI: