Nuprl Definition : mu-dec
mu-dec(d;a) == mu(λk.isl(d a k))
Definitions occuring in Statement :
mu: mu(f),
isl: isl(x),
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
mu: mu(f),
lambda: λx.A[x],
isl: isl(x),
apply: f a
FDL editor aliases :
mu-dec
Latex:
mu-dec(d;a) == mu(\mlambda{}k.isl(d a k))
Date html generated:
2016_05_14-AM-07_30_11
Last ObjectModification:
2015_09_22-PM-05_46_32
Theory : int_2
Home
Index