Nuprl Definition : norm-esharp-program

norm-esharp-program() ==
norm-pair(norm-list(norm-pair(

x.x
;norm-union(norm-base-deriv();norm-union(...;

x.x))))
;norm-list(norm-esharp-rule()))

Definitions occuring in Statement : norm-esharp-rule: norm-esharp-rule(), norm-combinator-def: norm-combinator-def(), norm-base-deriv: norm-base-deriv(), lambda:

x.A[x], norm-union: norm-union(Na;Nb), norm-pair: norm-pair(Na;Nb), norm-list: norm-list(N)
Definitions : norm-pair: norm-pair(Na;Nb), norm-base-deriv: norm-base-deriv(), norm-union: norm-union(Na;Nb), norm-combinator-def: norm-combinator-def(), lambda:

x.A[x], norm-list: norm-list(N), norm-esharp-rule: norm-esharp-rule()
FDL editor aliases : norm-esharp-program

norm-esharp-program() == norm-pair(norm-list(norm-pair(\mlambda{}x.x ;norm-union(norm-base-deriv();norm-union(norm-combinator-def();\mlambda{}x.x)))) ;norm-list(norm-esharp-rule())) Date html generated: 2011_08_17-PM-04_38_12 Last ObjectModification: 2010_09_21-AM-00_09_21 Home Index