"An effective one-step Church-Rosser strategy for combinators" by Richard Statman

Skip to main content

Department of Mathematical Sciences

Authors

Richard Statman, Carnegie Mellon University

Title

An effective one-step Church-Rosser strategy for combinators

Date of Original Version

1996

Type

Technical Report

COinS