Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers /
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | |
| Formato: | Anais de Congresso Livro |
| Idioma: | English |
| Publicado em: |
Berlin ; New York :
Springer,
c1996.
|
| coleção: | Lecture notes in computer science ;
1074. |
| Assuntos: |
Sumário:
- 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.