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 BibTeX

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