Nuprl Definition : rec-combined-loc-class-0
rec-combined-loc-class-0(F) == λl,w. (F l)|Loc, λn.[][n], Prior(self)|
Definitions occuring in Statement :
rec-combined-loc-class: f|Loc, X, Prior(self)|,
select: L[n],
nil: [],
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
rec-combined-loc-class-0
Latex:
rec-combined-loc-class-0(F) == \mlambda{}l,w. (F l)|Loc, \mlambda{}n.[][n], Prior(self)|
Date html generated:
2015_07_21-PM-02_54_22
Last ObjectModification:
2012_02_25-PM-02_12_03
Home
Index