Nuprl Definition : m-corec
m-corec(T.F[T];i) == mutual-corec(T.F[T]) i
Definitions occuring in Statement :
mutual-corec: mutual-corec(T.F[T]),
apply: f a
Definitions occuring in definition :
apply: f a,
mutual-corec: mutual-corec(T.F[T])
FDL editor aliases :
m-corec
Latex:
m-corec(T.F[T];i) == mutual-corec(T.F[T]) i
Date html generated:
2018_05_21-PM-00_10_54
Last ObjectModification:
2017_10_18-PM-01_57_15
Theory : co-recursion
Home
Index