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 [TLCA] 2013 (in progress)



Preface


On the Relation of Interaction Semantics to Continuations and Defunctionalization
Ulrich Schöpp


Bounding linear head reduction and visible interaction through skeletons
Pierre Clairambault


Using models to model-check recursive schemes
Sylvain Salvati and Igor Walukiewicz



DOI:

Creative Commons