Nuprl Definition : gen-rec-comb

gen-rec-comb(F) == Y (

gen-rec-comb,n.(F n gen-rec-comb))

Definitions occuring in Statement : ycomb: Y, apply: f a, lambda:

x.A[x]
FDL editor aliases : gen-rec-comb

gen-rec-comb(F) == Y (\mlambda{}gen-rec-comb,n.(F n gen-rec-comb)) Date html generated: 2012_02_20-PM-02_48_12 Last ObjectModification: 2012_02_01-AM-00_22_43 Home Index