Nuprl Definition : es-interface-predicate
{I} == λe.(↑e ∈b I)
Definitions occuring in Statement :
in-eclass: e ∈b X,
assert: ↑b,
lambda: λx.A[x]
FDL editor aliases :
es-interface-predicate
Latex:
\{I\} == \mlambda{}e.(\muparrow{}e \mmember{}\msubb{} I)
Date html generated:
2016_05_16-PM-02_39_41
Last ObjectModification:
2012_02_25-PM-01_25_08
Theory : event-ordering
Home
Index