Samuele Maschio

Orcid: 0000-0002-5491-9704

According to our database1, Samuele Maschio authored at least 15 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
On categorical structures arising from implicative algebras: From topology to assemblies.
Ann. Pure Appl. Log., 2024

2023
Implicative models of set theory.
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

2022
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice.
Log. Methods Comput. Sci., 2022

On the Compatibility Between the Minimalist Foundation and Constructive Set Theory.
Proceedings of the Revolutions and Revelations in Computability, 2022

2021
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice.
Log. Methods Comput. Sci., 2021

A Predicative variant of Hyland's Effective Topos.
J. Symb. Log., 2021

Factorizing the $\mathbf {Top}$-$\mathbf {Loc}$ adjunction through positive topologies.
Arch. Math. Log., 2021

2020
Natural density and probability, constructively.
Reports Math. Log., 2020

Numerical Existence Property and Categories with an Internal Copy.
Logica Universalis, 2020

Topology as Faithful Communication Through Relations.
Fundam. Informaticae, 2020

2018
Factorizing the Top-Loc adjunction through positive topologies.
CoRR, 2018

Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice.
Arch. Math. Log., 2018

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

2015
Models of intuitionistic set theory in subtoposes of nested realizability toposes.
Ann. Pure Appl. Log., 2015

2014
An Extensional Kleene Realizability Semantics for the Minimalist Foundation.
Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014


  Loading...