Fixed point combinators in Combinatory Logic

From Master Projects
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.