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