Nuprl Definition : return-bag-class
return-bag-class(b) ==  λes,e. if first(e) then b else {} fi 
Definitions occuring in Statement : 
es-first: first(e)
, 
ifthenelse: if b then t else f fi 
, 
lambda: λx.A[x]
, 
empty-bag: {}
FDL editor aliases : 
return-bag-class
Latex:
return-bag-class(b)  ==    \mlambda{}es,e.  if  first(e)  then  b  else  \{\}  fi 
Date html generated:
2016_05_16-PM-02_31_05
Last ObjectModification:
2016_05_12-PM-04_14_51
Theory : event-ordering
Home
Index