ROSOLINI, GIUSEPPE
ROSOLINI, GIUSEPPE
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
---|---|---|---|---|---|
Elementary Quotient Completions, Church's Thesis, and Partitioned Assemblies | 2019 | Maria Emilia MaiettiFabio PasqualiGiuseppe Rosolini | LOGICAL METHODS IN COMPUTER SCIENCE | - | - |
Relating quotient completions via categorical logic. | 2016 | MAIETTI, MARIA EMILIAROSOLINI, GIUSEPPE | - | - | Concepts of Proof in Mathematics, Philosophy, and Computer Science |