15 citations · 41 across the 17 of their papers we have counts for
1 paper · 1 filter
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…