Modular Bialgebraic Semantics and Algebraic Laws

Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen. Modular Bialgebraic Semantics and Algebraic Laws. In André Rauber Du Bois, Phil Trinder, editors, Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings. Volume 8129 of Lecture Notes in Computer Science, pages 46-60, Springer, 2013. [doi]

Abstract

Abstract is missing.