file.pdf (493.28 kB)

There is an effective one-step cofinal reduction strategy for combinators

Download (493.28 kB)
journal contribution
posted on 01.01.1995, 00:00 by Richard Statman
Abstract: "In this note we shall construct an effective one-step reduction strategy for combinators. The construction clearly does not work for lambda calculus since it depends on the parallel residual property for combinators. Residuals of redexes are disjoint. However, it holds for a variety of combinatory reduction systems."

History

Publisher Statement

All Rights Reserved

Date

01/01/1995

Exports

Exports