Nuprl Definition : es-interface-map
es-interface-map(f;X) == λes,e. let b = X es e in if (#(b) =z 1) then f only(b) e else {} fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
let: let,
apply: f a,
lambda: λx.A[x],
natural_number: $n,
bag-only: only(bs),
bag-size: #(bs),
empty-bag: {}
FDL editor aliases :
es-interface-map
Latex:
es-interface-map(f;X) == \mlambda{}es,e. let b = X es e in if (\#(b) =\msubz{} 1) then f only(b) e else \{\} fi
Date html generated:
2016_05_16-PM-10_32_46
Last ObjectModification:
2012_02_25-PM-01_39_37
Theory : event-ordering
Home
Index