TY  - RPRT
TI  - A Note on Confluence in Typed Probabilistic Lambda Calculi
AU  - Rafael Romero
AU  - Alejandro Díaz-Caro
PY  - 2022
DO  - 10.4204/eptcs.357.2
UR  - https://arxiv.org/abs/2106.06633
ID  - 2106.06633
ER  -