Carnegie Mellon University
Browse

A Simple Proof of Call-by-Value Standardization

Download (115.36 kB)
journal contribution
posted on 1993-01-01, 00:00 authored by Karl Crary
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.

History

Publisher Statement

Copyright © 1993 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE).

Date

1993-01-01

Usage metrics

    Categories

    Keywords

    computer sciencesInformation and Computing Sciences not elsewhere classified

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC