Fixed point combinators in Combinatory Logic

From Master Projects
Revision as of 11:41, 12 March 2015 by Schrofer (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


About Fixed point combinators in Combinatory Logic


Description

Define a series of different fixed point combinators in Combinatory Logic starting from the work by Jan Willem Klop et al. for lambda-calculus.