SABELLI, PIETRO
SABELLI, PIETRO
Dipartimento di Ingegneria dell'Informazione - DEI
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
| Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
|---|---|---|---|---|---|
| A topological reading of coinductive predicates in dependent type theory | 2025 | Sabelli, Pietro | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | - |
| Equiconsistency of the Minimalist Foundation with its classical version | 2025 | Maietti, Maria EmiliaSabelli, Pietro | ANNALS OF PURE AND APPLIED LOGIC | - | - |