Researcher profile · Semantic Scholar

Samuele Maschio

h-index: 6
Works: 29
Citations: 80

Most-cited papers

Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice
H. Ishihara, M. E. Maietti, Samuele Maschio, T. Streicher
2018Archive for Mathematical Logic22 citations Open access
Semantic Scholar
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
M. E. Maietti, Samuele Maschio, M. Rathjen
2019Log. Methods Comput. Sci.10 citations Open access
Semantic Scholar
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
M. E. Maietti, Samuele Maschio, M. Rathjen
2021Log. Methods Comput. Sci.9 citations Open access
Semantic Scholar
A predicative variant of a realizability tripos for the Minimalist Foundation.
M. E. Maietti, Samuele Maschio
20169 citations
Semantic Scholar
An Extensional Kleene Realizability Semantics for the Minimalist Foundation
M. E. Maietti, Samuele Maschio
2015Types for Proofs and Programs8 citations
Semantic Scholar
A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
M. E. Maietti, Samuele Maschio
2018Journal of Symbolic Logic (JSL)7 citations Open access
Semantic Scholar
A topos for extended Weihrauch degrees
Samuele Maschio, D. Trotta
2025Annals of Pure and Applied Logic3 citations Open access
Semantic Scholar
On categorical structures arising from implicative algebras: from topology to assemblies
Samuele Maschio, D. Trotta
2023Annals of Pure and Applied Logic3 citations Open access
Semantic Scholar
Models of intuitionistic set theory in subtoposes of nested realizability toposes
Samuele Maschio, T. Streicher
2014Annals of Pure and Applied Logic3 citations Open access
Semantic Scholar
Solving Knights-and-Knaves with One Equation
Francesco Ciraulo, Samuele Maschio
20202 citations
Semantic Scholar
Natural density and probability, constructively
Samuele Maschio
2018Reports Math. Log.2 citations Open access
Semantic Scholar
Topology as Faithful Communication Through Relations
Samuele Maschio, G. Sambin
2016Fundamenta Informaticae2 citations Open access
Semantic Scholar
About Pieri's Arithmetic
Samuele Maschio
2026History and Philosophy of Logic0 citations
Semantic Scholar
FIBRED SETS WITHIN A PREDICATIVE AND CONSTRUCTIVE EFFECTIVE TOPOS
Cipriano Junior Cioffo, M. E. Maietti, Samuele Maschio
2024Journal of Symbolic Logic (JSL)0 citations Open access
Semantic Scholar
Computability, Continuity, Constructivity - from Logic to Algorithms
Johanna N. Y. Franklin, A. Kawamura, Takako Nemoto, B. Kapron +26 more
20230 citations
Semantic Scholar
Implicative models of intuitionistic set theory
Samuele Maschio
20230 citations
Semantic Scholar
Implicative models of set theory
Samuele Maschio, Alexandre Miquel
2023Mathematical Foundations of Programming Semantics0 citations Open access
Semantic Scholar
On posetal and complete partial applicative structures
Samuele Maschio
20220 citations
Semantic Scholar
On the Compatibility Between the Minimalist Foundation and Constructive Set Theory
Samuele Maschio, Pietro Sabelli
2022Conference on Computability in Europe0 citations
Semantic Scholar
Extending the extensional level of the Minimalist Foundation to axiomatic set theories
Samuele Maschio, Pietro Sabelli
20210 citations
Semantic Scholar
Factorizing the $\mathbf {Top}$-$\mathbf {Loc}$ adjunction through positive topologies
Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio
2021Archive for Mathematical Logic0 citations
Semantic Scholar
Numerical Existence Property and Categories with an Internal Copy
Samuele Maschio
2020Logica Universalis0 citations Open access
Semantic Scholar
Remarks on abstract structures of propositions and realizers
Samuele Maschio
20190 citations
Semantic Scholar
2 8 M ay 2 01 9 A REALIZABILITY SEMANTICS FOR INDUCTIVE FORMAL TOPOLOGIES , CHURCH ’ S THESIS AND AXIOM OF CHOICE
M. E. Maietti, Samuele Maschio, M. Rathjen
20190 citations
Semantic Scholar
Factorizing the Top\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {Top}$$\end{document}–Loc\documentclass[12p
Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio
2018Archive for Mathematical Logic0 citations Open access
Semantic Scholar
Mind the gap. Sull’Ipotesi del Continuo
Samuele Maschio
20180 citations
Semantic Scholar
Cavalieri e furfanti? Basta un'equazione!
Francesco Ciraulo, Samuele Maschio
20170 citations
Semantic Scholar
On the Distinction Between Sets and Classes: A Categorical Perspective
Samuele Maschio
20150 citations
Semantic Scholar
What is the real category of sets
Samuele Maschio
20120 citations
Semantic Scholar

T. Streicher

×2

D. Trotta×2

Tatsuji Kawai×2

H. Ishihara×1

G. Sambin×1

Cipriano Junior Cioffo×1

Johanna N. Y. Franklin×1

A. Kawamura×1