Probabilistic operational semantics for the lambda calculus - Lago, Ugo Dal; Zorzi, Margherita (RAIRO. Informatique théorique et applications, 2012)
Keywords: 03B70; 68Q55; Cognitive science; Computer science; Lambda calculus; operational semantics; probabilistic computaion