GHIORZI, ENRICO
GHIORZI, ENRICO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.002 secondi).
GADTs are not (Even partial) functors
2024-01-01 Cagne, Pierre; Ghiorzi, Enrico; Johann, Patricia
Internal Enriched Categories
2022-01-01 Ghiorzi, E.
Internalization and enrichment via spans and matrices in a tricategory
2023-01-01 Femic, B.; Ghiorzi, E.
Learning Linear Temporal Properties for Autonomous Robotic Systems
2023-01-01 Ghiorzi, E; Colledanchise, M; Piquet, G; Bernagozzi, S; Tacchella, A; Natale, L
PARAMETRICITY FOR PRIMITIVE NESTED TYPES AND GADTS
2021-01-01 Johann, P.; Ghiorzi, E.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| GADTs are not (Even partial) functors | 1-gen-2024 | Cagne, Pierre; Ghiorzi, Enrico; Johann, Patricia | |
| Internal Enriched Categories | 1-gen-2022 | Ghiorzi, E. | |
| Internalization and enrichment via spans and matrices in a tricategory | 1-gen-2023 | Femic, B.; Ghiorzi, E. | |
| Learning Linear Temporal Properties for Autonomous Robotic Systems | 1-gen-2023 | Ghiorzi, E; Colledanchise, M; Piquet, G; Bernagozzi, S; Tacchella, A; Natale, L | |
| PARAMETRICITY FOR PRIMITIVE NESTED TYPES AND GADTS | 1-gen-2021 | Johann, P.; Ghiorzi, E. |