---

norm-esharp-rule() ==
  norm-pair(x.x;norm-pair(x.x;norm-pair(x.x;norm-pair(x.x
                                               ;norm-snd(norm-fst(x.x))))))

---

Definitions occuring in Statement :  lambda: x.A[x],  norm-snd: norm-snd(N),  norm-fst: norm-fst(N),  norm-pair: norm-pair(Na;Nb)
Definitions :  norm-pair: norm-pair(Na;Nb),  norm-snd: norm-snd(N),  norm-fst: norm-fst(N),  lambda: x.A[x]
FDL editor aliases :  norm-esharp-rule

---

norm-esharp-rule()  ==
    norm-pair(\mlambda{}x.x;norm-pair(\mlambda{}x.x;norm-pair(\mlambda{}x.x;norm-pair(\mlambda{}x.x;norm-snd(norm-fst(\mlambda{}x.x))))))


Date html generated: 2011_08_17-PM-04_35_40
Last ObjectModification: 2010_09_21-PM-12_25_13

Home Index