Computer Science Department
School of Computer Science, Carnegie Mellon University


A Simple Proof of Call-by-Value Standardization

Karl Crary

June 2009


Keywords: Lambda calculus, call-by-value, Standardization Theorem

We give a simple proof of the Standardization Theorem for call-by-value based on Takahashi's method of parallel reduction. The proof is formalized in Twelf.

7 pages

Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by