about me
teaching
publications
contact
gitlab
Distances between States and Predicates
27 Nov 2017 [
arxiv
]
doi
10.23638/LMCS-16(1:26)2020
with
Bart Jacobs
Featuring the metric completeness of of ω-complete effect modules.