Nuprl Definition : gen-rec-comb
gen-rec-comb(F) == fix((λgen-rec-comb,n. (F n gen-rec-comb)))
Definitions occuring in Statement :
apply: f a,
fix: fix(F),
lambda: λx.A[x]
FDL editor aliases :
gen-rec-comb
Latex:
gen-rec-comb(F) == fix((\mlambda{}gen-rec-comb,n. (F n gen-rec-comb)))
Date html generated:
2016_05_17-AM-00_21_28
Last ObjectModification:
2012_07_02-PM-04_12_42
Theory : event-ordering
Home
Index