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