theory of convex semilattices

Last updated Jan 8, 2025

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