Nuprl Definition : es-interface-at
X@i == λes,e. if loc(e) = i then X es e else {} fi
Definitions occuring in Statement :
es-loc: loc(e),
eq_id: a = b,
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: λx.A[x],
empty-bag: {}
FDL editor aliases :
es-interface-at
Latex:
X@i == \mlambda{}es,e. if loc(e) = i then X es e else \{\} fi
Date html generated:
2015_07_20-PM-03_35_02
Last ObjectModification:
2012_02_25-PM-01_50_05
Home
Index