@Inproceedings{EPTCS357.2,
  author    = {Romero, Rafael and D\'iaz-Caro, Alejandro},
  year      = {2022},
  title     = {A Note on Confluence in Typed Probabilistic Lambda Calculi},
  editor    = {Ayala-Rincon, Mauricio and Bonelli, Eduardo},
  booktitle = {{\rm Proceedings 16th}
               Logical and Semantic Frameworks with Applications,
               {\rm Buenos Aires, Argentina (Online), 23rd - 24th July, 2021}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {357},
  publisher = {Open Publishing Association},
  pages     = {18-24},
  doi       = {10.4204/EPTCS.357.2},
}