Nuprl Definition : stream
stream(A) == corec(S.A × S)
Definitions occuring in Statement :
corec: corec(T.F[T]),
product: x:A × B[x]
Definitions occuring in definition :
corec: corec(T.F[T]),
product: x:A × B[x]
FDL editor aliases :
stream
Latex:
stream(A) == corec(S.A \mtimes{} S)
Date html generated:
2016_05_14-AM-06_21_59
Last ObjectModification:
2015_09_22-PM-05_47_48
Theory : co-recursion
Home
Index