Nuprl Definition : rec-value-height

rec-value-height(v) ==  co-value-height(v)


Definitions occuring in Statement :  co-value-height: co-value-height(t)
Definitions occuring in definition :  co-value-height: co-value-height(t)
FDL editor aliases :  rec-value-height
Latex:
rec-value-height(v)  ==    co-value-height(v)


Date html generated: 2016_05_14-PM-03_20_52
Last ObjectModification: 2015_09_22-PM-05_59_28

Theory : rec_values


Home Index