Nuprl Definition : pw-evenodd
pw-evenodd() == pW
Definitions occuring in Statement :
param-W: pW,
bnot: ¬bb,
btrue: tt,
bool: 𝔹,
unit: Unit,
decide: case b of inl(x) => s[x] | inr(y) => t[y],
union: left + right,
void: Void,
equal: s = t ∈ T
Definitions occuring in definition :
param-W: pW,
union: left + right,
equal: s = t ∈ T,
bool: 𝔹,
btrue: tt,
decide: case b of inl(x) => s[x] | inr(y) => t[y],
void: Void,
unit: Unit,
bnot: ¬bb
FDL editor aliases :
pw-evenodd
Latex:
pw-evenodd() == pW
Date html generated:
2016_05_14-AM-06_14_34
Last ObjectModification:
2015_09_22-PM-05_47_13
Theory : co-recursion
Home
Index