"Turing-Completeness of Polymorphic Stream Equation Systems."

Christian Sattler, Florent Balestrieri (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics