research
∙
04/04/2023
A Complete V-Equational System for Graded lambda-Calculus
Modern programming frequently requires generalised notions of program eq...
share
research
∙
08/30/2022
The syntactic side of autonomous categories enriched over generalised metric spaces
Programs with a continuous state space or that interact with physical pr...
research
∙
09/24/2021
How to write a coequation
There is a large amount of literature on the topic of covarieties, coequ...
research
∙
05/27/2021
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations
We present a detailed study of roundoff errors in probabilistic floating...
research
∙
05/18/2021
An Internal Language for Categories Enriched over Generalised Metric Spaces
Programs with a continuous state space or that interact with physical pr...
research
∙
12/02/2019
A Probabilistic Approach to Floating Point Arithmetic
Finite-precision floating point arithmetic unavoidably introduces roundi...
research
∙
02/28/2019
Semantics of higher-order probabilistic programs with conditioning
We present a denotational semantics for higher-order probabilistic progr...
research
∙
12/18/2018
The positivication of coalgebraic logics
We present positive coalgebraic logic in full generality, and show how t...
research
∙
04/11/2018
Compositional semantics for new paradigms: probabilistic, hybrid and beyond
Emerging computational paradigms, such as probabilistic and hybrid progr...
research
∙
12/04/2017