RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Probabilistic operational semantics for the lambda calculus

Ugo Dal Lago and Margherita Zorzi

RAIRO-Theor. Inf. Appl., 46 3 (2012) 413-450

Published online: 22 June 2012

DOI: 10.1051/ita/2012012

Ugo Dal Lago

Margherita Zorzi

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)