Selected Papers of the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)

Editors: Lawrence S. Moss, Pawel Sobociński

1. A Recipe for State-and-Effect Triangles

Jacobs, Bart.
In the semantics of programming languages one can view programs as state transformers, or as predicate transformers. Recently the author has introduced state-and-effect triangles which capture this situation categorically, involving an adjunction between state- and predicate-transformers. The […]