Date of Original Version

1995

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

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."

Share

COinS