A Note on Confluence in Typed Probabilistic Lambda Calculi

Rafael Romero, Alejandro Díaz-Caro

On the topic of probabilistic rewriting, there are several works studying both termination and confluence of different systems. While working with a lambda calculus modelling quant…