MASCHIO, SAMUELE
MASCHIO, SAMUELE
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
A Categorical Reading of the Numerical Existence Property in Constructive Foundations
2022 Maschio, Samuele
An extensional Kleene realizability semantics for the Minimalist Foundation.
2015 Maietti, MARIA EMILIA; Maschio, Samuele
On the distinction between sets and classes: a categorical perspective
2015 Maschio, Samuele
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 |
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) |
On the distinction between sets and classes: a categorical perspective | 2015 | MASCHIO, SAMUELE | - | BOSTON STUDIES IN THE PHILOSOPHY OF SCIENCE | From Logic to Practice |