Date of Original Version
2009
Type
Technical Report
Abstract or Table of Contents
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.
COinS