ParadoxicalCombinatorsForStreams(A)

ystream.spad line 1 [edit on github]

• A : Type

This package implements fixed-point computations on streams.

Y : (Mapping(List(Stream(A)), List(Stream(A))), Integer) -> List(Stream(A))

Y(g, n) computes a fixed point of the function g, where g takes a list of n streams and returns a list of n streams.

Y : Mapping(Stream(A), Stream(A)) -> Stream(A)

Y(f) computes a fixed point of the function f.