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