3 citations · 6 across the 6 of their papers we have counts for
1 paper · 2 filters
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…