Nuprl Definition : rec-combined-loc-class
f|Loc, X, Prior(self)| ==
fix((λrec-combined-loc-class,es,e. (f loc(e) (λi.(X i es e)) (Prior(rec-combined-loc-class) es e))))
Definitions occuring in Statement :
primed-class: Prior(X)
,
es-loc: loc(e)
,
apply: f a
,
fix: fix(F)
,
lambda: λx.A[x]
FDL editor aliases :
rec-combined-loc-class
Latex:
f|Loc, X, Prior(self)| ==
fix((\mlambda{}rec-combined-loc-class,es,e. (f loc(e) (\mlambda{}i.(X i es e)) (Prior(rec-combined-loc-class) es e))\000C))
Date html generated:
2015_07_21-PM-02_49_53
Last ObjectModification:
2012_07_02-PM-04_12_26
Home
Index