%0 Journal Article
%A Lago, Ugo Dal
%A Zorzi, Margherita
%T Probabilistic operational semantics for the lambda calculus
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2012
%P 413-450
%V 46
%N 3
%I EDP-Sciences
%U http://archive.numdam.org/articles/10.1051/ita/2012012/
%R 10.1051/ita/2012012
%G en
%F ITA_2012__46_3_413_0