"Simply typed λ calculus with surjective pairing" by Richard Statman

Skip to main content

Department of Mathematical Sciences

Authors

Richard Statman, Carnegie Mellon University

Title

Simply typed λ calculus with surjective pairing

Date of Original Version

1992

Type

Technical Report

COinS