Abraham Westerbaan

github

Distances between States and Predicates

27 Nov 2017 [ arxiv ]

with Bart Jacobs

Featuring the metric completeness of of ω-complete effect modules.