21 citations · 42 across the 11 of their papers we have counts for
1 paper · 1 filter
Kirk Sturtz
Using the Kleisi category of the Giry monad the deterministic existential and universal quantifiers are generalized to incorporate nondeterminism. These probabilistic quantifiers a…