3 citations · 5 across the 8 of their papers we have counts for
5 papers · 1 filter
Fibred sets within a predicative and constructive effective topos
Cipriano Junior Cioffo, Maria Emilia Maietti, Samuele Maschio
We describe the fibrational structure of sets within the predicative variant of Hyland's Effective Topos previously introduced in Feferman's predicat…
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…
An extensional Kleene realizability semantics for the Minimalist Foundation
Maria Emilia Maietti, Samuele Maschio
We build a Kleene realizability semantics for the two-level Minimalist Foundation MF, ideated by Maietti and Sambin in 2005 and completed by Maietti in 2009. Thanks to this semanti…
Convergence in Formal Topology: a unifying notion
Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin
Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that o…
Subspaces of an arithmetic universe via type theory
Maria Emilia Maietti
We define the notion of subspace of an arithmetic universe by using its internal dependent type theory.