Samuele Maschio

According to our database, Samuele Maschio authored at least 15 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Implicative models of set theory.

Samuele Maschio, Alexandre Miquel

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

On categorical structures arising from implicative algebras: from topology to assemblies.

Samuele Maschio, Davide Trotta

CoRR, 2023

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

On the Compatibility Between the Minimalist Foundation and Constructive Set Theory.

Samuele Maschio, Pietro Sabelli

Proceedings of the Revolutions and Revelations in Computability, 2022

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

A Predicative variant of Hyland's Effective Topos.

Maria Emilia Maietti, Samuele Maschio

J. Symb. Log., 2021

Factorizing the $\mathbf {Top}$-$\mathbf {Loc}$ adjunction through positive topologies.

Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio

Arch. Math. Log., 2021

2020

Natural density and probability, constructively.

Samuele Maschio

Reports Math. Log., 2020

Numerical Existence Property and Categories with an Internal Copy.

Samuele Maschio

Logica Universalis, 2020

Topology as Faithful Communication Through Relations.

Samuele Maschio, Giovanni Sambin

Fundam. Informaticae, 2020

2018

Factorizing the Top-Loc adjunction through positive topologies.

Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio

CoRR, 2018

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

2016

A Predicative Variant of a Realizability Tripos for the Minimalist Foundation.

Maria Emilia Maietti, Samuele Maschio

FLAP, 2016

2015

Models of intuitionistic set theory in subtoposes of nested realizability toposes.

Samuele Maschio, Thomas Streicher

Ann. Pure Appl. Log., 2015

2014

An Extensional Kleene Realizability Semantics for the Minimalist Foundation.

Maria Emilia Maietti, Samuele Maschio

Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014