3 citations · 3 across the 1 of their papers we have counts for
1 paper
Fabio Aurelio D'Asaro, Francesco Genco, Giuseppe Primiero
In this paper we present the probabilistic typed natural deduction calculus TPTND, designed to reason about and derive trustworthiness properties of probabilistic computational pro…