Nuprl Definition : genrec-ap

letrec rec(n)=g[n; rec] in rec(x) ==  fix((λrec,n. g[n; rec])) x



Definitions occuring in Statement :  apply: a fix: fix(F) lambda: λx.A[x]
Definitions occuring in definition :  apply: a fix: fix(F) lambda: λx.A[x]
FDL editor aliases :  genrec-ap

Latex:
letrec  rec(n)=g[n;  rec]  in  rec(x)  ==    fix((\mlambda{}rec,n.  g[n;  rec]))  x



Date html generated: 2016_05_13-PM-04_02_59
Last ObjectModification: 2015_09_22-PM-05_45_45

Theory : int_1


Home Index