Nuprl Definition : l_tree
l_tree(L;T) == {p:l_treeco(L;T)| (l_treeco_size(p))↓}
Definitions occuring in Statement :
l_treeco_size: l_treeco_size(p),
l_treeco: l_treeco(L;T),
has-value: (a)↓,
set: {x:A| B[x]}
FDL editor aliases :
l_tree
Latex:
l\_tree(L;T) == \{p:l\_treeco(L;T)| (l\_treeco\_size(p))\mdownarrow{}\}
Date html generated:
2018_05_22-PM-09_38_23
Last ObjectModification:
2014_05_05-PM-02_28_35
Theory : labeled!trees
Home
Index