dr. Abraham Westerbaan

github

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.