Abstract is missing.
- Interaction SystemsAndrea Asperti, Cosimo Laneve. 1-19
- Strong Normalization of Typeable Rewrite SystemsSteffen van Bakel, Maribel Fernández. 20-39
- A Transformation System Combining Partial Evaluation with Term RewritingFrançoise Bellegarde. 40-55
- Prototyping Relational Specifications Using Higher-Order ObjectsRudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt. 56-75
- Origin Tracking for Higher-Order Term Rewriting SystemsArie van Deursen, T. B. Dinesh. 76-95
- Theory Interpretation in Simple Type TheoryWilliam M. Farmer. 96-123
- The Semantics of SPECTRUMRadu Grosu, Franz Regensburger. 124-145
- ATLAS: A Typed Language for Algebraic SpecificationB. M. Hearn, Karl Meinke. 146-168
- Compilation of Combinatory Reduction SystemsStefan Kahrs. 169-188
- Specification and Verification in Higher-Order Algebra: A Case Study of ConvolutionKarl Meinke, L. J. Steggles. 189-222
- Ordered and Continuous Models of Higher-Order SpecificationsBernhard Möller. 223-255
- Rewriting Properties of Combinators for Rudimentary Linear LogicMonica Nesi, Valeria de Paiva, Eike Ritter. 256-275
- Comparing Combinatory Reduction Systems and Higher-order Rewrite SystemsVincent van Oostrom, Femke van Raamsdonk. 276-304
- Termination Proofs for Higher-order Rewrite SystemsJaco van de Pol. 305-325
- Extensions of Initial Models and their Second-Order Proof SystemsPierre Yves Schobbens. 326-344