Nuprl Definition : co-alt
co-alt() == fix((λt.<1, 2, 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-alt
Latex:
co-alt() == fix((\mlambda{}t.ə, 2, t>))
Date html generated:
2016_05_15-PM-10_11_30
Last ObjectModification:
2015_09_23-AM-08_22_34
Theory : eval!all
Home
Index