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
∙
06/16/2022
Recursion does not always help
We show that, under mild assumptions, adding recursion does not increase...
research
∙
06/30/2021
Fixed-Points for Quantitative Equational Logics
We develop a fixed-point extension of quantitative equational logic and ...
research
∙
07/17/2020
Smart Choices and the Selection Monad
Describing systems in terms of choices and their resulting costs and rew...
research
∙
10/15/2019
Reverse derivative categories
The reverse derivative is a fundamental operation in machine learning an...
research
∙
04/05/2018