Definitions
lambda
jlc
Sections
Support(jlc)
Doc
No mentions to report in lambda_jlc
theta
Def T == (
x,y. y(x(x,y)))(
x,y. y(x(x,y)))
Syntax:
T
has structure:
theta
About:
Definitions
lambda
jlc
Sections
Support(jlc)
Doc
x,y. y(x(x,y)))(x,y. y(x(x,y)))x,y. y(x(x,y)))(x,y. y(x(x,y)))
