Nuprl Definition : coW-item

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


Definitions occuring in Statement :  pi2: snd(t),  apply: f a
Definitions occuring in definition :  apply: f a,  pi2: snd(t)
FDL editor aliases :  coW-item
Latex:
coW-item(w;b)  ==    (snd(w))  b


Date html generated: 2018_07_25-PM-01_37_31
Last ObjectModification: 2018_06_01-AM-09_48_19

Theory : co-recursion


Home Index