Valeria Vignudelli, Environmental Bisimulations for Probabilistic Higher-Order Languages

Schedule