Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
Block structure (Extended Abstract): Retention or deletion?
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
The Contour Model Lambda Calculus Machine
Proceedings of ACM conference on Proving assertions about programs
The equivalence of models of tasking
Proceedings of ACM conference on Proving assertions about programs
Hi-index | 0.00 |
Landin's SECD Machine does not completely compute certain expressions of the &lgr;-calculus and so is modified by the addition of an output component and a unique name counter. This modified machine is proven to correctly implement the &lgr;-calculus.