Abstract is missing.
- A Lambda-to-CL Translation for Strong NormalizationYohji Akama. 1-10
- Typed Intermediate Languages for Shape AnalysisGianna Bellè, Eugenio Moggi. 11-29
- Minimum Information Code in a Pure Functional Language with Data TypesStefano Berardi, Luca Boerio. 30-45
- Matching Constraints for the Lambda Calculus of ObjectsViviana Bono, Michele Bugliesi. 46-62
- Coinductive Axiomatization of Recursive Type Equality and SubtypingMichael Brandt, Fritz Henglein. 63-81
- A Simple Adequate Categorical Model for PCFTorben Braüner. 82-98
- Logical Reconstruction of Bi-domainsAntonio Bucciarelli. 99-111
- A Module Calculus for Pure Type SystemsJudicaël Courant. 112-128
- An Inference Algorithm for StrictnessFerruccio Damiani, Paola Giannini. 129-146
- Primitive Recursion for Higher-Order Abstract SyntaxJoëlle Despeyroux, Frank Pfenning, Carsten Schürmann. 147-163
- Eta-Expansions in Dependent Type Theory - The Calculus of ConstructionsNeil Ghani. 164-180
- Proof Nets, Garbage, and ComputationsStefano Guerrini, Simone Martini, Andrea Masini. 181-195
- Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda CalculiMasahito Hasegawa. 196-213
- Games and Weak-Head Reduction for Classical PCFHugo Herbelin. 214-230
- A Type Theoretical View of Böhm-TreesToshihiko Kurata. 231-247
- Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for Lambda-calculiMarina Lenisa. 248-266
- Schwichtenberg-Style Lambda Definability Is UndecidableJan Malolepszy, Malgorzata Moczurad, Marek Zaionc. 267-283
- Outermost-Fair RewritingFemke van Raamsdonk. 284-299
- A Non-commutative Extension of Classical Linear LogicChristian Retoré, Pomset Logic. 300-318
- Computational Reflection in the Calculus of Constructions and its Application to Theorem ProvingHarald Rueß. 319-335
- Names, Equations, Relations: Practical Ways to Reason about ::::new::::Ian Stark. 336-353
- An Axiomatic System of ParametricityIzumi Takeuti. 354-372
- Inhabitation in Typed Lambda-Calculi (A Syntactic Approach)Pawel Urzyczyn. 373-389
- Weak and Strong Beta Normalisations in Typed Lambda-CalculiHongwei Xi. 390-404