An Extensional Kleene Realizability Semantics for the Minimalist Foundation. - Maria Emilia Maietti; Samuele Maschio (TYPES, 2014)

Models of intuitionistic set theory in subtoposes of nested realizability toposes. - Samuele Maschio; Thomas Streicher (Ann. Pure Appl. Log., 2015)

A Predicative Variant of a Realizability Tripos for the Minimalist Foundation. - Maria Emilia Maietti; Samuele Maschio (FLAP, 2016)

Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice. - Hajime Ishihara; Maria Emilia Maietti; Samuele Maschio; Thomas Streicher (Arch. Math. Log., 2018)

Factorizing the Top-Loc adjunction through positive topologies. - Francesco Ciraulo; Tatsuji Kawai; Samuele Maschio (CoRR, 2018)

Topology as Faithful Communication Through Relations. - Samuele Maschio; Giovanni Sambin (Fundam. Informaticae, 2020)

Numerical Existence Property and Categories with an Internal Copy. - Samuele Maschio (Logica Universalis, 2020)

Natural density and probability, constructively. - Samuele Maschio (Reports Math. Log., 2020)

Factorizing the $ mathbf {Top}$-$ mathbf {Loc}$ adjunction through positive topologies. - Francesco Ciraulo; Tatsuji Kawai; Samuele Maschio (Arch. Math. Log., 2021)

A Predicative variant of Hyland's Effective Topos. - Maria Emilia Maietti; Samuele Maschio (J. Symb. Log., 2021)

A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice. - Maria Emilia Maietti; Samuele Maschio; Michael Rathjen (Log. Methods Comput. Sci., 2021)

On the Compatibility Between the Minimalist Foundation and Constructive Set Theory. - Samuele Maschio; Pietro Sabelli (CiE, 2022)

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice. - Maria Emilia Maietti; Samuele Maschio; Michael Rathjen (Log. Methods Comput. Sci., 2022)

Implicative models of set theory. - Samuele Maschio; Alexandre Miquel (MFPS, 2023)

On categorical structures arising from implicative algebras: From topology to assemblies. - Samuele Maschio; Davide Trotta (Ann. Pure Appl. Log., 2024)