Published: 9th October 2012 DOI: 10.4204/EPTCS.97 ISSN: 2075-2180 |
Preface Herman Geuvers and Ugo de'Liguoro | |
Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic Federico Aschieri and Margherita Zorzi | 1 |
A call-by-value lambda-calculus with lists and control Robbert Krebbers | 19 |
Extensional Models of Untyped Lambda-mu Calculus Koji Nakazawa and Shin-ya Katsumata | 35 |
Applying Gödel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma Thomas Powell | 49 |
Herman Geuvers and Ugo de'Liguoro