Nuprl Definition : wfd-tree
wfd-tree(T) == W(𝔹;z.if z then Void else T fi )
Definitions occuring in Statement :
W: W(A;a.B[a]),
ifthenelse: if b then t else f fi ,
bool: 𝔹,
void: Void
Definitions occuring in definition :
W: W(A;a.B[a]),
bool: 𝔹,
ifthenelse: if b then t else f fi ,
void: Void
FDL editor aliases :
wfd-tree
Latex:
wfd-tree(T) == W(\mBbbB{};z.if z then Void else T fi )
Date html generated:
2016_05_14-AM-06_17_46
Last ObjectModification:
2015_09_22-PM-05_47_26
Theory : co-recursion
Home
Index