PISTONE, PAOLO
PISTONE, PAOLO
DISI - 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 |