some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

   Recent

   In Progress

   Archive

   Proposal

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

SPECIAL ISSUE:
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2007"
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 Π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



DOI: 10.2168/LMCS-TCLA:2007

Creative Commons