CIA Structures and the Semantics of Recursion

DOI10.1007/978-3-642-12032-9_22zbMath1284.68374OpenAlexW1588285800MaRDI QIDQ3557859

Daniel Schwencke, Stefan Milius, Lawrence S. Moss

Publication date: 27 April 2010

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12032-9_22

zbMATH Keywords

coalgebrarecursionsemanticsdistributive lawcompletely iterative algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items (1)

Bialgebras for structural operational semantics: an introduction

This page was built for publication: CIA Structures and the Semantics of Recursion