An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects.

Walter Dosch, Bernhard Mller

Browse the full GI paper archive.