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:
2016_05_17-AM-00_03_33
Last ObjectModification:
2012_02_25-PM-02_09_43
Theory : event-ordering
Home
Index