Romero, L. R., & Díaz Caro, A. (2022). A note on confluence in typed probabilistic lambda calculi. Web
Citación estilo ChicagoRomero, Lucas Rafael, and Alejandro Díaz Caro. A Note On Confluence in Typed Probabilistic Lambda Calculi. 2022.
Cita MLARomero, Lucas Rafael, and Alejandro Díaz Caro. A Note On Confluence in Typed Probabilistic Lambda Calculi. 2022.
Precaución: Estas citas no son 100% exactas.