Nuprl Definition : bar-base

bar-base(T) ==  corec(X.T + X)


Definitions occuring in Statement :  corec: corec(T.F[T]),  union: left + right
Definitions occuring in definition :  corec: corec(T.F[T]),  union: left + right
FDL editor aliases :  bar-base
Latex:
bar-base(T)  ==    corec(X.T  +  X)


Date html generated: 2016_05_14-AM-06_19_29
Last ObjectModification: 2015_09_22-PM-05_47_31

Theory : co-recursion


Home Index