Nuprl Definition : co-ones
co-ones() == fix((λt.<1, t>))
Definitions occuring in Statement :
fix: fix(F),
lambda: λx.A[x],
pair: <a, b>,
natural_number: $n
Definitions occuring in definition :
fix: fix(F),
lambda: λx.A[x],
pair: <a, b>,
natural_number: $n
FDL editor aliases :
co-ones
Latex:
co-ones() == fix((\mlambda{}t.ə, t>))
Date html generated:
2016_05_15-PM-10_11_26
Last ObjectModification:
2015_09_23-AM-08_22_32
Theory : eval!all
Home
Index