On the Equivalence of Mechanical Evaluation Strategies
Permanent Link(s)
Collections
Author
McGowan, Clement
Abstract
Two mechanical evaluation strategies are shown to correctly implement the $\lambda$-K-calculus and to be equivalent.
Date Issued
1969-07
Publisher
Cornell University
Keywords
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR69-37
Type
technical report