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

> Research article (Proceedings of the ACM on Programming Languages, 2022) · cited 19× · AI/ML

**Wikidata**: [openalex:W4205512329](https://www.wikidata.org/wiki/openalex:W4205512329)  
**Source**: https://4ort.xyz/entity/reasoning-about-reasoning-about-reasoning-semantics-and-contextual-equivalence-for-probabilistic-programs-with-nested-qu