Turing-completeness of polymorphic stream equation systems
Paper in proceeding, 2012
Author
Christian Sattler
Logic and Types
Florent Balestrieri
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 15 256-271, ,
Subject Categories
Algebra and Logic
Computer Science
DOI
10.4230/LIPIcs.RTA.2012.256