MASCHIO, SAMUELE

MASCHIO, SAMUELE  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 28 (tempo di esecuzione: 0.024 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
A Categorical Reading of the Numerical Existence Property in Constructive Foundations 2022 Maschio Samuele - - Objects, Structures, and Logics
A predicative variant of a realizability tripos for the Minimalist Foundation. 2016 MAIETTI, MARIA EMILIAMASCHIO, SAMUELE THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS - -
A predicative variant of Hyland's effective topos 2021 Maietti Maria EmiliaMaschio Samuele THE JOURNAL OF SYMBOLIC LOGIC - -
A realizability semantics for inductive formal topologies, church’s thesis and axiom of choice 2021 Maietti Maria EmiliaMaschio Samuele + LOGICAL METHODS IN COMPUTER SCIENCE - -
An extensional Kleene realizability semantics for the Minimalist Foundation. 2015 MAIETTI, MARIA EMILIAMASCHIO, SAMUELE - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 20th International Conference on Types for Proofs and Programs (TYPES 2014)
Aspects of internal set theory 2012 MASCHIO, SAMUELE - - -
Aspects of set theory within a category 2012 MASCHIO, SAMUELE SCIENTIFICA ACTA - -
Cavalieri e furfanti? Basta un'equazione! 2017 FRANCESCO CIRAULOSAMUELE MASCHIO PERIODICO DI MATEMATICHE - -
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice 2018 Maria Emilia MaiettiSamuele Maschio + ARCHIVE FOR MATHEMATICAL LOGIC - -
Curiosità, sfida e cooperazione. Una strategia didattica per le gare matematiche. 2017 Samuele Maschio L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Emancipare la dimostrazione dalla geometria euclidea nella didattica della Matematica. 2019 Samuele Maschio L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Evoluzioni sul trapezio. Dialogo sulla sua natura e importanza. 2022 Ciraulo FrancescoMaschio Samuele L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Factorizing the Top-Loc adjunction through positive topologies 2021 Ciraulo FrancescoMaschio Samuele + ARCHIVE FOR MATHEMATICAL LOGIC - -
I giochi matematici per la scuola primaria: autentici problemi di matematica. 2023 Maschio Samuele L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Implicative models of set theory 2023 Samuele Maschio + Electronic Notes in Theoretical Informatics and Computer Science - Proceedings of MFPS XXXIX
INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH’S THESIS AND THE AXIOM OF CHOICE 2022 Maietti M. E.Maschio S.Rathjen M. LOGICAL METHODS IN COMPUTER SCIENCE - -
Mind the gap. Sull’Ipotesi del Continuo 2018 Samuele Maschio ARCHIMEDE - -
Models of Intuitionistic Set Theory in Subtoposes of Nested Realizability Toposes 2015 MASCHIO, SAMUELE + ANNALS OF PURE AND APPLIED LOGIC - -
Natural density and probability, constructively 2020 Maschio Samuele REPORTS ON MATHEMATICAL LOGIC - -
Numerical Existence Property and Categories with an Internal Copy 2020 Maschio Samuele LOGICA UNIVERSALIS - -