file.pdf (370.44 kB)

An effective one-step hyperperpetual reduction strategy for combinators

Download (370.44 kB)
journal contribution
posted on 01.01.1996, 00:00 by Richard Statman
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."

History

Publisher Statement

All Rights Reserved

Date

01/01/1996

Usage metrics

Exports