2 papers
cs.LO2021
Semantics and Axiomatization for Stochastic Differential Dynamic Logic
Michael Roberts, Alexei Kopylov, Aleksey Nogin
Building on previous work by André Platzer, we present a formal language for Stochastic Differential Dynamic Logic, and define its semantics, axioms and inference rules. Compared t…
cs.LO2020
Universal Semantics for the Stochastic Lambda-Calculus
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…