"Recursive types and the subject reduction theorem" by Richard Statman

Skip to main content

Department of Mathematical Sciences

Authors

Richard Statman, Carnegie Mellon University

Title

Recursive types and the subject reduction theorem

Date of Original Version

1994

Type

Technical Report

COinS