Nuprl Definition : class-opt-class
X?Y == λes,e. if bag-null(X es e) then Y es e else X es e fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: λx.A[x],
bag-null: bag-null(bs)
FDL editor aliases :
class-opt-class
Latex:
X?Y == \mlambda{}es,e. if bag-null(X es e) then Y es e else X es e fi
Date html generated:
2015_07_21-PM-02_41_57
Last ObjectModification:
2012_02_25-PM-02_03_19
Home
Index