Nuprl Definition : canonical-function
canonical-function(f) == λx.if (x) < (0) then ⊥ else (f x)
Definitions occuring in Statement :
bottom: ⊥,
less: if (a) < (b) then c else d,
apply: f a,
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
lambda: λx.A[x],
less: if (a) < (b) then c else d,
natural_number: $n,
bottom: ⊥,
apply: f a
FDL editor aliases :
canonical-function
Latex:
canonical-function(f) == \mlambda{}x.if (x) < (0) then \mbot{} else (f x)
Date html generated:
2016_05_13-PM-03_47_50
Last ObjectModification:
2015_09_22-PM-05_45_16
Theory : call!by!value_2
Home
Index