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.

Share

COinS