research
∙
02/02/2023
Propositional Logics for the Lawvere Quantale
Lawvere showed that generalised metric spaces are categories enriched ov...
share
research
∙
12/22/2022
Sum and Tensor of Quantitative Effects
Inspired by the seminal work of Hyland, Plotkin, and Power on the combin...
research
∙
12/12/2021
Interpreting Lambda Calculus in Domain-Valued Random Variables
We develop Boolean-valued domain theory and show how the lambda-calculus...
research
∙
06/30/2021
Fixed-Points for Quantitative Equational Logics
We develop a fixed-point extension of quantitative equational logic and ...
research
∙
11/26/2020
Universal Semantics for the Stochastic Lambda-Calculus
We define sound and adequate denotational and operational semantics for ...
research
∙
07/03/2019
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
The probabilistic bisimilarity distance of Deng et al. has been proposed...
research
∙
03/22/2019
Probabilistic logics based on Riesz spaces
We introduce a novel real-valued endogenous logic for expressing propert...
research
∙
04/05/2018
On the Axiomatizability of Quantitative Algebras
Quantitative algebras (QAs) are algebras over metric spaces defined by q...
research
∙
02/20/2018