Confluence Reduction for Probabilistic Systems
Abstract elided by the publisher.
Related papers
- State Space Reduction by Proving Confluence CAV 2002
- Call-by-name extensionality and confluence JFP 2017
- Newtonian Program Analysis of Probabilistic Programs OOPSLA 2024
- The lambda-calculus with constructors: Syntax, confluence and separation JFP 2009
- Uniform confluence in concurrent computation JFP 2000
- An intuitionistic [lambda]-calculus with exceptions JFP 2005
- Shrinking lambda Expressions in Linear Time JFP 1997
- Algorithmic Conversion with Surjective Pairing: A Syntactic and Untyped Approach POPL 2026