| Argomento | Persone | Descrizione |
|---|---|---|
| Teoria delle dimostrazioni, logica lineare e teoria dei tipi |
Andrea Masini
Margherita Zorzi |
Calcoli sequenziali per logiche modali, lineari e temporali. Sistemi di deduzione naturale per logiche modali, lineari e temporali. Sistemi deduttivi etichettati. Sistemi dei tipi per CPS. Reti di dimostrazione per logiche lineari e classiche. Sistemi deduttivi per computabilità quantistica. |
Strada le Grazie 15
37134 Verona
VAT number01541040232
Italian Fiscal Code93009870234
© 2025 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
