Research Catalog

Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

Title
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek [and others] (eds.).
Publication
Berlin ; New York : Springer, [1996], ©1996.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA267 .H484 1996Off-site

Holdings

Details

Additional Authors
  • Dowek, Gilles.
  • International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany)
Description
287 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 1074
Uniform Title
Lecture notes in computer science ; 1074.
Subjects
Bibliography (note)
  • Includes bibliographical references.
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.
ISBN
3540612548 (softcover : acid₋free paper)
LCCN
96018318
OCLC
ocm34617715
Owning Institutions
Columbia University Libraries