Samuele Maschio

16 papers B 1C 1Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
On categorical structures arising from implicative algebras: From topology to assemblies.
Ann. Pure Appl. Log.
Samuele Maschio, Davide Trotta
2023 B conf
Implicative models of set theory.
MFPS
Samuele Maschio, Alexandre Miquel
2023 J jnl
On categorical structures arising from implicative algebras: from topology to assemblies.
CoRR
Samuele Maschio, Davide Trotta
2022 J jnl
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice.
Log. Methods Comput. Sci.
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
2022 C conf
On the Compatibility Between the Minimalist Foundation and Constructive Set Theory.
CiE
Samuele Maschio, Pietro Sabelli
2021 J jnl
A Predicative variant of Hyland's Effective Topos.
J. Symb. Log.
Maria Emilia Maietti, Samuele Maschio
2021 J jnl
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice.
Log. Methods Comput. Sci.
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
2021 J jnl
Factorizing the $\mathbf {Top}$-$\mathbf {Loc}$ adjunction through positive topologies.
Arch. Math. Log.
Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio
2020 J jnl
Natural density and probability, constructively.
Reports Math. Log.
Samuele Maschio
2020 J jnl
Numerical Existence Property and Categories with an Internal Copy.
Logica Universalis
Samuele Maschio
2020 J jnl
Topology as Faithful Communication Through Relations.
Fundam. Informaticae
Samuele Maschio, Giovanni Sambin
2018 J jnl
Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice.
Arch. Math. Log.
Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio, Thomas Streicher
2018 J jnl
Factorizing the Top-Loc adjunction through positive topologies.
CoRR
Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio
2016 J jnl
A Predicative Variant of a Realizability Tripos for the Minimalist Foundation.
FLAP
Maria Emilia Maietti, Samuele Maschio
2015 J jnl
Models of intuitionistic set theory in subtoposes of nested realizability toposes.
Ann. Pure Appl. Log.
Samuele Maschio, Thomas Streicher
2014 — conf
An Extensional Kleene Realizability Semantics for the Minimalist Foundation.
TYPES
Maria Emilia Maietti, Samuele Maschio