Papers Accepted for the Festschrift
- Luca Roversi and Matteo Palazzo. Reversible Computation with Stacks and "Reversible Management of Failures"
- Ferruccio Damiani, Daisuke Kimura, Luca Paolini and Makoto Tatsuta. A Core Calculus for Type-safe Product Lines of C Programs
- Giorgio Audrito et al. Lambdas at the Far Edge
- Luca Paolini and Felice Cardone. Learning foundations beneath the stars
- Sohei Ito and Makoto Tatsuta. Truth Predicate of Inductive Definitions
- Daniele Pautasso and Simona Ronchi Della Rocca. Principal Typing for Intersection Types
- Thierry Coquand. Two remarks about game semantics
- Besik Dundua, Mariangiola Dezani-Ciancaglini, Paola Giannini and Furio Honsell. Sensible Intersection Type Theories
- Herman Geuvers. Non-derivability results in dependent type theory
- Paulo Oliva and Ulrich Berger. Uniform Realizability Interpretations
- Marc Bezem, Thierry Coquand, Peter Dybjer and Martin Escardo. Generalized Algebraic Theory for Type Theory
- Ulrich Kohlenbach. Computational content of moduli of regularity
- Rob Nederpelt and Ferruccio Guidi. Unconventional view on beta-reduction
- Zena M. Ariola, Paul Downen and Hugo Herbelin. Infinite Pigeonhole Principle