Nuprl Definition : simple-comb-0
simple-comb-0(b) == simple-comb(λw.b;λn.[][n])
Definitions occuring in Statement :
simple-comb: simple-comb(F;Xs),
select: L[n],
nil: [],
lambda: λx.A[x]
FDL editor aliases :
simple-comb-0
Latex:
simple-comb-0(b) == simple-comb(\mlambda{}w.b;\mlambda{}n.[][n])
Date html generated:
2015_07_21-PM-03_00_10
Last ObjectModification:
2012_02_25-PM-02_15_29
Home
Index