APA (7th ed.) Citation

Lago, U. D., & Zorzi, M. (2012). Probabilistic operational semantics for the lambda calculus. RAIRO. Informatique théorique et applications, 46(3), 413-450. https://doi.org/10.1051/ita/2012012

Chicago Style (17th ed.) Citation

Lago, Ugo Dal, and Margherita Zorzi. "Probabilistic Operational Semantics for the Lambda Calculus." RAIRO. Informatique Théorique Et Applications 46, no. 3 (2012): 413-450. https://doi.org/10.1051/ita/2012012.

MLA (9th ed.) Citation

Lago, Ugo Dal, and Margherita Zorzi. "Probabilistic Operational Semantics for the Lambda Calculus." RAIRO. Informatique Théorique Et Applications, vol. 46, no. 3, 2012, pp. 413-450, https://doi.org/10.1051/ita/2012012.