You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Ralph Sarkis (Apr 01 2021 at 13:43):I am delighted to announce LICS2021 accepted the paper Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning by Matteo Mio, Valeria Vignudelli and I (this is my first publication :tada:). Our preprint is on arXiv.
We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics. Our main contributions are presentation results for the monads, providing equational reasoning tools for establishing equivalences and distances of programs.