Compositional and effectful recursive specification formats: distributive laws and the semantics of recursion

Daniel Schwencke. Compositional and effectful recursive specification formats: distributive laws and the semantics of recursion. PhD thesis, University of Braunschweig - Institute of Technology, 2014. [doi]

Abstract

Abstract is missing.