Reasoning about “reasoning about reasoning”: semantics and contextual equivalence for probabilistic programs with nested queries and recursion

Citation:

Yizhou Zhang and Nada Amin. 1/2022. “Reasoning about “reasoning about reasoning”: semantics and contextual equivalence for probabilistic programs with nested queries and recursion.” Proceedings of the ACM on Programming Languages, 6, POPL. Publisher's Version

Copyright © 2024 The President and Fellows of Harvard College | Accessibility | Digital Accessibility | Report Copyright Infringement