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: 2019_06_20-PM-00_56_08
Last ObjectModification: 2019_01_02-PM-01_32_47

Theory : co-recursion-2


Home Index