2. HOA 1995: Paderborn, Germany

Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (Eds.): Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers. Lecture Notes in Computer Science 1074 Springer 1996, ISBN 3-540-61254-8

Jan Willem Klop: Term Graph Rewriting. 1-16
Steffen van Bakel, Maribel Fernández: Approximation and Normalization Results for Typeable Term Rewriting Systems. 17-36
Gilles Barthe, Herman Geuvers: Modular Properties of Algebraic Type Systems. 37-56
Inge Bethke, Jan Willem Klop: Collapsing Partial Combinatory Algebras. 57-73
Stefan Blom: A Complete Proof System for Nested Term Graphs. 74-89
Claus Hintermeier, Hélène Kirchner, Peter D. Mosses: Rⁿ- and Gⁿ-Logics. 90-108
Stefan Kahrs: The Variable Containment Problem. 109-123
Karl Meinke: Higher-Order Equational Logic for Specification, Simulation and Testing. 124-143
Sava Mintchev, David Lester: The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. 144-162
Bernhard Möller: Assertions and Recursions. 163-184
Vincent van Oostrom: Development Closed Critical Pairs. 185-200
Jaco van de Pol: Two Different Strong Normalization Proofs? 201-220
Jan Springintveld: Third-Order Matching in the Polymorphic Lambda Calculus. 221-237
L. J. Steggles: Higher-Order Algebra with Transfinite Types. 238-263
Li-Guo Wang, Michael Mendler: Abstraction of Hardware Construction. 264-287