Date of Original Version

2009

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

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