The Correctness of a Modified SECD Machine

Cite this paper

@inproceedings{McGowan1970TheCO, title={The Correctness of a Modified SECD Machine}, author={Clement L. McGowan}, booktitle={STOC}, year={1970} }