Module lambda_calculus::combinators

Standard terms and combinators

• SKI
• Iota
• BCKW
• the self-application combinator ω
• the divergent combinator Ω
• the fixed-point combinators Y and Z
• the reverse application combinator T

Functions

b	B - the composition combinator.
c	C - the swapping combinator.
i	I - the identity combinator.
iota	Iota - the universal combinator.
k	K - the constant / discarding combinator.
om	ω - the self-application combinator.
omm	Ω - the divergent combinator.
s	S - the substitution combinator.
t	T - the reverse application combinator.
w	W - the duplicating combinator.
y	Y - the lazy fixed-point combinator.
z	Z - the strict fixed-point combinator.