PISTONE, PAOLO
Dettaglio
PISTONE, PAOLO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Assegnisti
Pubblicazioni
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.001 secondi).
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
---|---|---|---|---|---|---|---|
1 | On Counting Propositional Logic and Wagner's Hierarchy | Antonelli M.; Dal Lago U.; Pistone P. | 2021 | CEUR-WS | 4.01 Contributo in Atti di convegno | - | |
2 | On Generalized Metric Spaces for the Simply Typed Lambda-Calculus | Pistone P. | 2021 | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - | |
3 | On Measure Quantifiers in First-Order Arithmetic | Antonelli M.; Dal Lago U.; Pistone P. | 2021 | Springer | 4.01 Contributo in Atti di convegno | ||
4 | A partial metric semantics of higher-order types and approximate program transformations | Geoffroy G.; Pistone P. | 2021 | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | ||
5 | The yoneda reduction of polymorphic types | Pistone P.; Tranchini L. | 2021 | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | - |