Nuprl Definition : empty-wfd-tree
empty-wfd-tree(t) == wfd-tree-rec(tt;r.ff;t)
Definitions occuring in Statement :
bfalse: ff,
btrue: tt
Definitions occuring in definition :
btrue: tt,
bfalse: ff
FDL editor aliases :
empty-wfd-tree
Latex:
empty-wfd-tree(t) == wfd-tree-rec(tt;r.ff;t)
Date html generated:
2016_05_14-AM-06_17_49
Last ObjectModification:
2015_09_22-PM-05_47_27
Theory : co-recursion
Home
Index