A Note on Confluence in Typed Probabilistic Lambda Calculi
Logic in Computer Science
2022-04-11 v2
Abstract
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 quantum computation, we found a system with probabilistic rewriting rules and strongly normalizing terms. We examine the effect of small modifications in probabilistic rewriting, affine variables, and strategies on the overall confluence in this strongly normalizing probabilistic calculus.
Cite
@article{arxiv.2106.06633,
title = {A Note on Confluence in Typed Probabilistic Lambda Calculi},
author = {Rafael Romero and Alejandro Díaz-Caro},
journal= {arXiv preprint arXiv:2106.06633},
year = {2022}
}
Comments
In Proceedings LSFA 2021, arXiv:2204.03415