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:
2019_06_20-PM-01_13_10
Last ObjectModification:
2019_01_02-PM-01_36_32
Theory : co-recursion-2
Home
Index