Environmental Bisimulations for Probabilistic Higher-Order Languages
ACM Transactions on Programming Languages and Systems - United States
doi 10.1145/3350618
Full Text
Open PDFAbstract
Available in full text
Categories
Date
December 5, 2019
Authors
Publisher
Association for Computing Machinery (ACM)