PISTONE, PAOLO
PISTONE, PAOLO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
A partial metric semantics of higher-order types and approximate program transformations
2021 Geoffroy G.; Pistone P.
Curry and Howard Meet Borel
2022 Melissa Antonelli; Ugo Dal Lago; Paolo Pistone
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
2023 Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Paolo Pistone, Isabel Oitavem
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
2024 Melissa Antonelli; Ugo Dal Lago; Davide Davoli; Isabel Oitavem; Paolo Pistone
On Counting Propositional Logic and Wagner's Hierarchy
2021 Antonelli M.; Dal Lago U.; Pistone P.
On Counting Propositional Logic and Wagner's Hierarchy
2023 Antonelli, Melissa; Dal Lago, Ugo; Pistone, Paolo
On Generalized Metric Spaces for the Simply Typed Lambda-Calculus
2021 Pistone P.
On Measure Quantifiers in First-Order Arithmetic
2021 Antonelli M.; Dal Lago U.; Pistone P.
On Quantitative Algebraic Higher-Order Theories
2022 Ugo Dal Lago; Furio Honsell; Marina Lenisa; Paolo Pistone
On the Lattice of Program Metrics
2023 Ugo Dal Lago; Naohiko Hoshino; Paolo Pistone
The yoneda reduction of polymorphic types
2021 Pistone P.; Tranchini L.
Towards Randomized Bounded Arithmetic
2022 Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A partial metric semantics of higher-order types and approximate program transformations | Geoffroy G.; Pistone P. | 2021-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | Pubblicazione9.pdf |
| Curry and Howard Meet Borel | Melissa Antonelli; Ugo Dal Lago; Paolo Pistone | 2022-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | lics2022a.pdf |
| Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories |
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Paolo Pistone, Isabel Oitavem |
2023-01-01 | - | - | 4.02 Riassunto (Abstract) | - |
| Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories | Melissa Antonelli; Ugo Dal Lago; Davide Davoli; Isabel Oitavem; Paolo Pistone | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| On Counting Propositional Logic and Wagner's Hierarchy | Antonelli M.; Dal Lago U.; Pistone P. | 2021-01-01 | - | CEUR-WS | 4.01 Contributo in Atti di convegno | ictcs2021.pdf |
| On Counting Propositional Logic and Wagner's Hierarchy | Antonelli, Melissa; Dal Lago, Ugo; Pistone, Paolo | 2023-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 1-s2.0-S0304397523002414-main.pdf |
| On Generalized Metric Spaces for the Simply Typed Lambda-Calculus | Pistone P. | 2021-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - |
| On Measure Quantifiers in First-Order Arithmetic | Antonelli M.; Dal Lago U.; Pistone P. | 2021-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | cie2021long.pdf |
| On Quantitative Algebraic Higher-Order Theories | Ugo Dal Lago; Furio Honsell; Marina Lenisa; Paolo Pistone | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | fscd2022.pdf |
| On the Lattice of Program Metrics | Ugo Dal Lago; Naohiko Hoshino; Paolo Pistone | 2023-01-01 | - | Schloss Dagstuhl Leibniz | 4.01 Contributo in Atti di convegno | LIPIcs-FSCD-2023-20.pdf |
| The yoneda reduction of polymorphic types | Pistone P.; Tranchini L. | 2021-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | Pubblicazione8.pdf |
| Towards Randomized Bounded Arithmetic |
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone |
2022-01-01 | - | - | 4.02 Riassunto (Abstract) | - |