40 citations · 156 across the 43 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 2 cited
Companions, Causality and Codensity
Damien Pous, Jurriaan Rot
In the context of abstract coinduction in complete lattices, the notion of compatible function makes it possible to introduce enhancements of the coinduction proof principle. The l…
cs.LO2017★ 2 cited
Distributive Laws for Monotone Specifications
Jurriaan Rot
Turi and Plotkin introduced an elegant approach to structural operational semantics based on universal coalgebra, parametric in the type of syntax and the type of behaviour. Their…