Computer Science Department
School of Computer Science, Carnegie Mellon University
A Simple Proof of Call-by-Value Standardization
Karl Crary
June 2009
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 This page maintained by [email protected]
School of Computer Science