Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
c1996.
|
| Series: | Lecture notes in computer science ;
1074. |
| Subjects: |
Table of Contents:
- Term Graph Rewriting / Jan Willem Klop
- Approximation and Normalization Results for Typeable Term Rewriting Systems / Steffen van Bakel and Maribel Fernandez
- Modular Properties of Algebraic Type Systems / Gilles Barthe and Herman Geuvers
- Collapsing Partial Combinatory Algebras / Inge Bethke and Jan Willem Klop
- A Complete Proof System for Nested Term Graphs / Stefan Blom
- R[superscript n] and G[superscript n]-Logics / Claus Hintermeier, Helene Kirchner and Peter D. Mosses
- The Variable Containment Problem / Stefan Kahrs
- Higher-Order Equational Logic for Specification, Simulation and Testing / Karl Meinke
- The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving / Sava Mintchev and David Lester
- Assertions and Recursions / Bernhard Moller
- Development Closed Critical Pairs / Vincent van Oostrom
- Two Different Strong Normalization Proofs? / Jaco van de Pol.
- Third-Order Matching in the Polymorphic Lambda Calculus / Jan Springintveld
- Higher-Order Algebra with Transfinite Types / L. J. Steggles
- Abstraction of Hardware Construction / Li-Guo Wang and Michael Mendler.