28 citations · 123 across the 13 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.CT2016★ 10 cited
The Giry Monad is not Strong for the Canonical Symmetric Monoidal Closed Structure on Meas
Tetsuya Sato
We show that the Giry monad is not strong with respect to the canonical symmetric monoidal closed structure on the category Meas of all measurable spaces and measurable functions.
cs.LO2016★ 26 cited
Approximate Relational Hoare Logic for Continuous Random Samplings
Tetsuya Sato
Approximate relational Hoare logic (apRHL) is a logic for formal verification of the differential privacy of databases written in the programming language pWHILE. Strictly speaking…