Date of Original Version

1996

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

Abstract: "We construct an effective one-step reduction strategy [phi] for combinators such that [phi] is normalizing and if M has no normal form then the iterations M,[phi](M),...,[phi]m̂(M),... are all distinct."

Share

COinS