Kenyon-Roberts, A., & Ong, L. (2024). Termination and semantics of probabilistic lambda calculus.
Citação norma ChicagoKenyon-Roberts, A., and L. Ong. Termination and Semantics of Probabilistic Lambda Calculus. 2024.
Citação norma MLAKenyon-Roberts, A., and L. Ong. Termination and Semantics of Probabilistic Lambda Calculus. 2024.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.