Nuprl Definition : mutual-corec
mutual-corec(T.F[T]) == ⋂n. primrec(n;λi.Top;λ,T. F[T])
Definitions occuring in Statement :
k-intersection: ⋂n. X[n],
primrec: primrec(n;b;c),
top: Top,
lambda: λx.A[x]
Definitions occuring in definition :
k-intersection: ⋂n. X[n],
primrec: primrec(n;b;c),
top: Top,
lambda: λx.A[x]
FDL editor aliases :
mutual-corec
Latex:
mutual-corec(T.F[T]) == \mcap{}n. primrec(n;\mlambda{}i.Top;\mlambda{},T. F[T])
Date html generated:
2018_05_21-PM-00_10_24
Last ObjectModification:
2017_10_16-AM-11_40_12
Theory : co-recursion
Home
Index