research
∙
07/27/2023
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
Coalgebra, as the abstract study of state-based systems, comes naturally...
share
research
∙
07/12/2022
Hennessy-Milner Theorems via Galois Connections
We introduce a general and compositional, yet simple, framework that all...
research
∙
03/29/2022
Graded Monads and Behavioural Equivalence Games
The framework of graded semantics uses graded monads to capture behaviou...
research
∙
09/04/2019