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