"Program Transformation and Proof Transformation" by Wilfried Sieg and Stanley S. Wainer

Skip to main content

Department of Philosophy

Authors

Wilfried Sieg, Carnegie Mellon University
Stanley S. Wainer, University of Leeds

Title

Program Transformation and Proof Transformation

Date of Original Version

6-1994

Type

Technical Report

Abstract or Table of Contents

Wilfred Sieg and Stanley S. Wainer. Program Transformation and Proof Transformation.

Comments

CMU-PHIL-56

Included in

Philosophy Commons

COinS