---

norm-combinator-def() ==
  norm-pair(x.x;norm-pair(x.x;norm-pair(x.x;norm-pair(x.x;x.x))))

---

Definitions occuring in Statement :  lambda: x.A[x],  norm-pair: norm-pair(Na;Nb)
Definitions :  norm-pair: norm-pair(Na;Nb),  lambda: x.A[x]
FDL editor aliases :  norm-combinator-def

---

norm-combinator-def()  ==    norm-pair(\mlambda{}x.x;norm-pair(\mlambda{}x.x;norm-pair(\mlambda{}x.x;norm-pair(\mlambda{}x.x;\mlambda{}x.x))))


Date html generated: 2011_08_17-PM-04_29_45
Last ObjectModification: 2010_09_21-PM-01_47_31

Home Index