Highly Influenced

# Approximate Reduction and Lambda Calculus Models

@article{Wadsworth1978ApproximateRA, title={Approximate Reduction and Lambda Calculus Models}, author={Christopher P. Wadsworth}, journal={SIAM J. Comput.}, year={1978}, volume={7}, pages={337-356} }

- Published 1978 in SIAM J. Comput.
DOI:10.1137/0207028

This paper gives the technical details and proofs for the notion of approximate reduction introduced in an earlier paper. The main theorem asserts that every lambda expression determines a set of approximate normal forms of which it is the limit in the lambda calculus models discovered by Scott in 1969. The proof of this theorem rests on the introduction of a notion of type assignments for the lambda calculus corresponding to the projections present in Scott’s models; the proof is then achieved… CONTINUE READING

#### From This Paper

##### Figures, tables, and topics from this paper.

15 Citations

1 References

Similar Papers