theory of convex semilattices

Last updated Feb 3, 2024

• Combining Nondeterminism, Probability and Termination (Mio, Sarkis, Vignudelli)