Login / Signup

Environmental Bisimulations for Probabilistic Higher-order Languages.

Davide SangiorgiValeria Vignudelli
Published in: ACM Trans. Program. Lang. Syst. (2019)
Keyphrases