A Nominal Approach to Probabilistic Separation Logic

John M. Li, Jon Aytac, Philip Johnson-Freyd +2

Currently, there is a gap between the tools used by probability theorists and those used in formal reasoning about probabilistic programs. On the one hand, a probability theorist d…