1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2024
A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
Jan Rooduijn, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests (GKAT for short) is an efficient fragment of Kleene Algebra with Tests, suitable for reasoning about simple imperative while-programs. Following e…
cs.PL2023★ 1 cited
Joint Distributions in Probabilistic Semantics
Dexter Kozen, Alexandra Silva, Erik Voogd
Various categories have been proposed as targets for the denotational semantics of higher-order probabilistic programming languages. One such proposal involves joint probability di…