30 citations · 72 across the 17 of their papers we have counts for
1 paper · 1 filter
Pedro Amorim, Dexter Kozen, Radu Mardare +2
We define sound and adequate denotational and operational semantics for the stochastic lambda calculus. These two semantic approaches build on previous work that used similar techn…