PISTONE, PAOLO
PISTONE, PAOLO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
2024 Melissa Antonelli; Ugo Dal Lago; Davide Davoli; Isabel Oitavem; Paolo Pistone
Towards logical foundations for probabilistic computation
2024 Antonelli M.; Dal Lago U.; Pistone P.
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
2023 Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Paolo Pistone, Isabel Oitavem
On Counting Propositional Logic and Wagner's Hierarchy
2023 Antonelli, Melissa; Dal Lago, Ugo; Pistone, Paolo
On the Lattice of Program Metrics
2023 Ugo Dal Lago; Naohiko Hoshino; Paolo Pistone
Curry and Howard Meet Borel
2022 Melissa Antonelli; Ugo Dal Lago; Paolo Pistone
On Quantitative Algebraic Higher-Order Theories
2022 Ugo Dal Lago; Furio Honsell; Marina Lenisa; Paolo Pistone
Towards Randomized Bounded Arithmetic
2022 Antonelli, Melissa; DAL LAGO, Ugo; Davoli, Davide; Oitavem, Isabel; Pistone, Paolo
A partial metric semantics of higher-order types and approximate program transformations
2021 Geoffroy G.; Pistone P.
On Counting Propositional Logic and Wagner's Hierarchy
2021 Antonelli M.; Dal Lago U.; Pistone P.
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.
The yoneda reduction of polymorphic types
2021 Pistone P.; Tranchini L.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| 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 | csl2024.pdf |
| Towards logical foundations for probabilistic computation | Antonelli M.; Dal Lago U.; Pistone P. | 2024-01-01 | ANNALS OF PURE AND APPLIED LOGIC | - | 1.01 Articolo in rivista | - |
| 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) | - |
| 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 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 |
| 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 |
| 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 |
| Towards Randomized Bounded Arithmetic | Antonelli, Melissa; DAL LAGO, Ugo; Davoli, Davide; Oitavem, Isabel; Pistone, Paolo | 2022-01-01 | - | - | 4.02 Riassunto (Abstract) | - |
| 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 |
| 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 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 |
| 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 |