21 citations · 22 across the 3 of their papers we have counts for
Showing 2018 · cs.PLShow all
2 papers · 2 filters
cs.PL2018
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
Alejandro Aguirre, Gilles Barthe, Lars Birkedal +3
We extend the simply-typed guarded -calculus with discrete probabilities and endow it with a program logic for reasoning about relational properties of guarded probabilistic com…
cs.PL2018
Almost Sure Productivity
Alejandro Aguirre, Gilles Barthe, Justin Hsu +1
We define Almost Sure Productivity (ASP), a probabilistic generalization of the productivity condition for coinductively defined structures. Intuitively, a probabilistic coinductiv…