Sfoglia per Relatore  MAIETTI, MARIA EMILIA

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 14 di 14
Tipologia Anno Titolo Titolo inglese Autore File
Lauree magistrali 2022 A canonical normal form theorem for the type theory of regular categories A canonical normal form theorem for the type theory of regular categories BORSETTO, RICCARDO
Lauree triennali 2022 Decidibilità e completezza dell'aritmetica di Presburger Decidability and completeness of Presburger arithmetic ALFEO, MARTINA
Lauree magistrali 2020 Function spaces in the Grothendieck completion of Lawvere's hyperdoctrines Function spaces in the Grothendieck completion of Lawvere's hyperdoctrines D'ANNUNZIO, LUDOVICA
Lauree magistrali 2019 Hedberg's theorem in the minimalist foundation - Borsetto, Riccardo
Lauree triennali 2021 Interpretazione "proofs-as-programs" per l'aritmetica di Presburger Proofs-as-programs 's interpretation for Presburger arithmetic COLANERO, CAMILLA
Lauree triennali 2022 L'interpretazione della logica intuizionista nella logica modale The interpretation of intuitionistic logic in modal logic TONOLO, GIULIA
Lauree triennali 2021 Non conservatività dell'interpretazione di Curry-Howard-Martin-Lof della logica intuizionista con uguaglianza in teoria dei tipi - Andrigo, Giovanna
Lauree magistrali 2017 On Logical connectives and quantifiers as adjoint functors - Mengato, Stefano
Lauree triennali 2021 Primi passi in analisi costruttiva: analogie e differenze con l'approccio classico First steps in constructive analysis: analogies and differencies with the classical approach ZOCCO, GIOVANNI
Lauree magistrali 2023 RANEY EXTENSIONS AS POINTFREE T_0 SPACES RANEY EXTENSIONS AS POINTFREE T_0 SPACES SUAREZ, ANNA LAURA
Lauree triennali 2021 Rappresentazione categoriale della quantificazione esistenziale e sua costruzione libera Categorical representation of existential quantification and its free costruction FERRO, CARLO
Lauree triennali 2020 Semantica categoriale delle logiche intuizionista e classica. Categorical semantics of intuitionistic and classical logics FERIGO, RAVI
Lauree magistrali 2021 Strutture implicative Implicative Structures AL NABER, AMIR
Lauree triennali 2022 Varianti della traduzione della doppia negazione di Goedel-Gentzen Variants of Goedel-Gentzen's double negation translation PIANTAVIGNA, ESTER
Mostrati risultati da 1 a 14 di 14
Legenda icone

  •  file ad accesso aperto
  •  file ad accesso riservato
  •  file sotto embargo
  •  nessun file disponibile