6 citations · 14 across the 10 of their papers we have counts for
1 paper · 1 filter
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…