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 reports@cs.cmu.edu