Nuprl Definition : bottom
⊥ == fix((λx.x))
Definitions occuring in Statement :
fix: fix(F),
lambda: λx.A[x]
Definitions occuring in definition :
fix: fix(F),
lambda: λx.A[x]
Rules referencing :
exceptionNotBottom,
StrongContinuity2,
compactness,
fixpointLeast,
tryReduceValue,
applyPair,
applyInl,
applyInr,
applyInt,
bottomDivergent
FDL editor aliases :
btm
Latex:
\mbot{} == fix((\mlambda{}x.x))
Date html generated:
2016_05_13-PM-03_28_20
Last ObjectModification:
2015_09_22-PM-05_44_49
Theory : call!by!value_1
Home
Index