Nuprl Definition : es-parameter-class

Parameter(p;X) ==  λes,e. if e ∈b then {p loc(e)} else {} fi 



Definitions occuring in Statement :  in-eclass: e ∈b X es-loc: loc(e) ifthenelse: if then else fi  apply: a lambda: λx.A[x] single-bag: {x} empty-bag: {}
FDL editor aliases :  es-parameter-class
Parameter(p;X)  ==    \mlambda{}es,e.  if  e  \mmember{}\msubb{}  X  then  \{p  loc(e)\}  else  \{\}  fi 



Date html generated: 2015_07_17-PM-00_49_28
Last ObjectModification: 2012_02_25-PM-01_24_05

Home Index