15 citations · 18 across the 9 of their papers we have counts for
1 paper · 2 filters
Ugo Dal Lago, Margherita Zorzi
Probabilistic operational semantics for a nondeterministic extension of pure lambda calculus is studied. In this semantics, a term evaluates to a (finite or infinite) distribution…