Nuprl Definition : altW-item

altW-item(w;b) ==  coW-item(w;b)


Definitions occuring in Statement :  coW-item: coW-item(w;b)
Definitions occuring in definition :  coW-item: coW-item(w;b)
FDL editor aliases :  altW-item
Latex:
altW-item(w;b)  ==    coW-item(w;b)


Date html generated: 2018_07_29-AM-09_22_06
Last ObjectModification: 2018_07_26-PM-05_45_00

Theory : co-recursion


Home Index