Samuele Maschio

Identifiers

• name variant Samuele Maschio 0.60 · backfill

Papers (8)

1. A topos for extended Weihrauch degrees math.CT · 2025 · author #1
2. Factorizing the Top-Loc adjunction through positive topologies math.GN · 2018 · author #3
3. A predicative variant of Hyland's Effective Topos math.LO · 2018 · author #2
4. Natural density and probability, constructively math.LO · 2018 · author #1
5. Topology as faithful communication through relations math.LO · 2016 · author #1
6. An extensional Kleene realizability semantics for the Minimalist Foundation math.LO · 2015 · author #2
7. Models of Intuitionistic Set Theory in Subtoposes of Nested Realizability Toposes math.CT · 2014 · author #1
8. What is the real category of sets? math.LO · 2012 · author #1

Mentions

• 1502.02864 #2 · backfill · confidence 0.70 Samuele Maschio
• 1407.2287 #1 · backfill · confidence 0.70 Samuele Maschio
• 1212.3107 #1 · backfill · confidence 0.70 Samuele Maschio

Frequent Coauthors

• Maria Emilia Maietti 2 shared papers
• Davide Trotta 1 shared papers
• Francesco Ciraulo 1 shared papers
• Giovanni Sambin 1 shared papers
• Tatsuji Kawai 1 shared papers
• Thomas Streicher 1 shared papers