4 citations · 11 across the 14 of their papers we have counts for
Showing 2018 · math.LOShow all
2 papers · 2 filters
math.LO2018
A predicative variant of Hyland's Effective Topos
Maria Emilia Maietti, Samuele Maschio
Here, we present a subcategory pEff of Hyland's Effective Topos Eff which can be considered a predicative variant of Eff itself. The construction of pEff is motivated by the desire…
math.LO2018
Natural density and probability, constructively
Samuele Maschio
We give here a constructive account of the frequentist approach to probability, by means of natural density. Using this notion of natural density, we introduce some probabilistic v…