Nuprl Definition : CV
CV(F) == fix((λCV,t. (F t CV)))
Definitions occuring in Statement :
apply: f a,
fix: fix(F),
lambda: λx.A[x]
Definitions occuring in definition :
fix: fix(F),
lambda: λx.A[x],
apply: f a
FDL editor aliases :
CV
Latex:
CV(F) == fix((\mlambda{}CV,t. (F t CV)))
Date html generated:
2016_05_15-PM-04_32_24
Last ObjectModification:
2015_09_23-AM-07_49_05
Theory : general
Home
Index