Nuprl Definition : coterm

coterm(opr) ==  corec(T.coterm-fun(opr;T))


Definitions occuring in Statement :  coterm-fun: coterm-fun(opr;T),  corec: corec(T.F[T])
Definitions occuring in definition :  corec: corec(T.F[T]),  coterm-fun: coterm-fun(opr;T)
FDL editor aliases :  coterm
Latex:
coterm(opr)  ==    corec(T.coterm-fun(opr;T))


Date html generated: 2020_05_19-PM-09_53_26
Last ObjectModification: 2020_03_09-PM-04_08_07

Theory : terms


Home Index