research
∙
02/16/2023
Weak Similarity in Higher-Order Mathematical Operational Semantics
Higher-order abstract GSOS is a recent extension of Turi and Plotkin's f...
share
research
∙
01/15/2023
Shades of Iteration: from Elgot to Kleene
Notions of iteration range from the arguably most general Elgot iteratio...
research
∙
10/24/2022
Towards a Higher-Order Mathematical Operational Semantics
Compositionality proofs in higher-order languages are notoriously involv...
research
∙
07/19/2022
Quantitative Hennessy-Milner Theorems via Notions of Density
The classical Hennessy-Milner theorem is an important tool in the analys...
research
∙
02/22/2022
Stateful Structural Operational Semantics
Compositionality of denotational semantics is an important concern in pr...
research
∙
02/14/2022
Quantalic Behavioural Distances
Behavioural distances measure the deviation between states in quantitati...
research
∙
12/23/2021
A Point-free Perspective on Lax extensions and Predicate liftings
In this paper we have a fresh look at the connection between lax extensi...
research
∙
02/23/2021
Uniform Elgot Iteration in Foundations
Category theory is famous for its innovative way of thinking of concepts...
research
∙
09/29/2020
Implementing Hybrid Semantics: From Functional to Imperative
Hybrid programs combine digital control with differential equations, and...
research
∙
03/11/2020
Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store
Modelling and reasoning about dynamic memory allocation is one of the we...
research
∙
12/05/2019
The Expressiveness of Looping Terms in the Semantic Programming
We consider the complexity of reasoning in extensions of the language of...
research
∙
02/20/2019
An Adequate While-Language for Hybrid Computation
Hybrid computation combines discrete and continuous dynamics in the form...
research
∙
07/30/2018
A Metalanguage for Guarded Iteration
Notions of guardedness serve to delineate admissible recursive definitio...
research
∙
07/03/2018
A Semantics for Hybrid Iteration
The recently introduced notions of guarded traced (monoidal) category an...
research
∙
02/23/2018
Guarded Traced Categories
Notions of guardedness serve to delineate the admissibility of cycles, e...
research
∙
12/27/2017
