Location of Repository

A Simple Proof of Call-by-Value Standardization

By Karl Crary

Abstract

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.

Year: 2010
OAI identifier: oai:CiteSeerX.psu:10.1.1.160.6123
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www-2.cs.cmu.edu/~crary... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.