Nuprl Definition : hdf-ap
X(a) == case X of inl(P) => P a | inr(z) => <inr ⋅ , {}>
Definitions occuring in Statement :
it: ⋅,
apply: f a,
pair: <a, b>,
decide: case b of inl(x) => s[x] | inr(y) => t[y],
inr: inr x ,
empty-bag: {}
FDL editor aliases :
hdf-ap
X(a) == case X of inl(P) => P a | inr(z) => <inr \mcdot{} , \{\}>
Date html generated:
2015_07_17-AM-08_04_40
Last ObjectModification:
2012_11_23-PM-02_09_03
Home
Index