Date of Original Version

6-1994

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

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

Comments

CMU-PHIL-56

Included in

Philosophy Commons

Share

COinS