Differential Program Semantics

Veröffentlichungen

A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations

Autoren: Guillaume Geoffroy, Paolo Pistone
Veröffentlicht in: Proceedings of CSL 2021, 29th EACSL Annual Conference on Computer Science Logic, Ausgabe 183, 2021, Seite(n) 23:1-23:18, ISBN 9783959771757
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.csl.2021.23

On Generalized Metric Spaces for the Simply Typed Lambda-Calculus

Autoren: Paolo Pistone
Veröffentlicht in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Seite(n) 1-14, ISBN 978-1-6654-4895-6
Herausgeber: IEEE
DOI: 10.1109/lics52264.2021.9470696

On the Representation of References in the Pi-Calculus

Autoren: Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
Veröffentlicht in: Proceedings of CONCUR 2020, 31st International Conference on Concurrency Theory, Ausgabe 171, 2020, Seite(n) 34:1-34:20, ISBN 9783959771603
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2020.34

On Quantitative Algebraic Higher-Order Theories

Autoren: Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
Veröffentlicht in: Proceedings of FSCD 2022, 7th International Conference on Formal Structures for Computation and Deduction, Ausgabe 228, 2022, Seite(n) 4:1-4:18, ISBN 9783959772334
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.fscd.2022.4

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories

Autoren: Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
Veröffentlicht in: Proceedings of CSL 2024, 32nd EACSL Annual Conference on Computer Science Logic,, Ausgabe 288, 2024, Seite(n) 10:1-10:19, ISSN 1868-8969
Herausgeber: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.csl.2024.10

Curry and Howard Meet Borel

Autoren: Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Veröffentlicht in: 2022 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2022, Seite(n) 45:1--45:13, ISBN 9781450393515
Herausgeber: ACM
DOI: 10.1145/3531130.3533361

Differential Logical Relations, Part I: The Simply-Typed Case

Autoren: Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
Veröffentlicht in: Proceedings of ICALP 2019, 46th International Colloquium on Automata, Languages, and Programming, Ausgabe 132, 2019, Seite(n) 111:1-111:14, ISBN 9783959771092
Herausgeber: Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.icalp.2019.111

Resource approximation for the Lambda-mu-calculus

Autoren: Davide Barbarossa
Veröffentlicht in: 2022 27th annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2022, Seite(n) 27:1--27:12, ISBN 9781450393515
Herausgeber: ACM
DOI: 10.1145/3531130.3532469

A Recursion-Theoretic Characterization of the Probabilistic Class PP

Autoren: Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
Veröffentlicht in: Proceedings of MFCS 2021,46th International Symposium on Mathematical Foundations of Computer Science, Ausgabe 202, 2021, Seite(n) 35:1-35:12, ISBN 9783959772013
Herausgeber: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.mfcs.2021.35

A Relational Theory of Monadic Rewriting Systems, Part I

Autoren: Francesco Gavazzo, Claudia Faggian
Veröffentlicht in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Seite(n) 1-14, ISBN 978-1-6654-4895-6
Herausgeber: IEEE
DOI: 10.1109/lics52264.2021.9470633

On the Lattice of Program Metrics

Autoren: Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
Veröffentlicht in: Proceedings of FSCD 2023, 8th International Conference on Formal Structures for Computation and Deduction, Ausgabe 260, 2023, Seite(n) 20:1-20:19, ISBN 9783959772778
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.fscd.2023.20

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs

Autoren: Ugo Dal Lago, Francesco Gavazzo
Veröffentlicht in: Proceedings of FSCD 2021, 6th International Conference on Formal Structures for Computation and Deduction, Ausgabe 195, 2021, Seite(n) 23:1-23:19, ISBN 9783959771917
Herausgeber: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.fscd.2021.23

The Machinery of Interaction

Autoren: Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Veröffentlicht in: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020, Seite(n) 1-15, ISBN 9781450388214
Herausgeber: ACM
DOI: 10.1145/3414080.3414108

On the Taylor expansion of probabilistic λ-terms

Autoren: Ugo Dal Lago, Thomas Leventis
Veröffentlicht in: Proceedings of FSCD 2019, 4th International Conference on Formal Structures for Computation and Deduction, Ausgabe 131, 2019, Seite(n) 13:1-13:16, ISBN 9783959771078
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.fscd.2019.13

Contextual Behavioural Metrics

Autoren: Ugo Dal Lago, Maurizio Murgia
Veröffentlicht in: Proceedings of CONCUR 2023, 34th International Conference on Concurrency Theory, Ausgabe 279, 2023, Seite(n) 38:1-38:17, ISSN 1868-8969
Herausgeber: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.concur.2023.3

A Fibrational Tale of Operational Logical Relations

Autoren: Francesco Dagnino, Francesco Gavazzo
Veröffentlicht in: Proceedings of FSCD 2022, 7th International Conference on Formal Structures for Computation and Deduction, Ausgabe 228, 2022, Seite(n) 3:1--3:21, ISBN 9783959772334
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.fscd.2022.3

Decomposing Probabilistic Lambda-Calculi

Autoren: Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
Veröffentlicht in: Proceedings of FoSSaCS 2020, 23rd International Conference on Foundations of Software Science and Computation Structures, Ausgabe 12077, 2020, Seite(n) 136-156, ISBN 9783030452308
Herausgeber: Springer

Reasonable Space for the Lambda-Calculus, Logarithmically

Autoren: Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Veröffentlicht in: 2022 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2022, Seite(n) 47:1-47:13, ISBN 9781450393515
Herausgeber: ACM
DOI: 10.1145/3531130.3533362

On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments

Autoren: Ugo Dal Lago, Giulia Giusti
Veröffentlicht in: Proceedings of CONCUR 2023, 33rd International Conference on Concurrency Theory, Ausgabe 243, 2022, Seite(n) 37:1-37:18, ISBN 9783959772464
Herausgeber: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.concur.2022.37

On Higher-Order Cryptography

Autoren: Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago
Veröffentlicht in: Proceedings of ICALP 2020, 47th International Colloquium on Automata, Languages, and Programming, Ausgabe 168, 2020, Seite(n) 108:1-108:16, ISBN 9783959771382
Herausgeber: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.icalp.2020.108

Open Higher-Order Logic

Autoren: Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
Veröffentlicht in: Proceedings of CSL 2023, 31st EACSL Annual Conference on Computer Science Logic, Ausgabe 252, 2023, Seite(n) 17:1-17:17, ISBN 9783959772648
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.csl.2023.17

On Measure Quantifiers in First-Order Arithmetic

Autoren: Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Veröffentlicht in: Proceedings of CIE 2021, 17th Conference on Computability in Europe, Ausgabe 12813, 2021, Seite(n) 12-24
Herausgeber: Springer
DOI: 10.1007/978-3-030-80049-9\_2

On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem

Autoren: Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
Veröffentlicht in: Proceedings of ESOP 2020, 29th European Symposium on Programming, Ausgabe 12075, 2020, Seite(n) 56-83, ISBN 9783030449131
Herausgeber: Springer

The Space of Interaction

Autoren: Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Veröffentlicht in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Seite(n) 1-13, ISBN 978-1-6654-4895-6
Herausgeber: IEEE
DOI: 10.1109/lics52264.2021.9470726

A Relational Theory of Effects and Coeffects

Autoren: Ugo Dal Lago, Francesco Gavazzo
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 6/POPL, 2022, Seite(n) 1-30, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3498692

Multi Types and Reasonable Space

Autoren: Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 6/ICFP, 2022, Seite(n) 799--825, ISSN 2475-1421
Herausgeber: ACM Press
DOI: 10.1145/3547650

Effectful Program Distancing

Autoren: Ugo Dal Lago, Francesco Gavazzo
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 6/POPL, 2022, Seite(n) 1-28, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3498680

Intersection types and (positive) almost-sure termination

Autoren: Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 5/POPL, 2021, Seite(n) 1-32, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3434313

The (In)Efficiency of interaction

Autoren: Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 5/POPL, 2021, Seite(n) 1-33, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3434332

On Model-Checking Higher-Order Effectful Programs

Autoren: Ugo Dal Lago, Alexis Ghyselen
Veröffentlicht in: Proceedings of the ACM for Programming Languages, Ausgabe 8/POPL, 2024, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3632929

On Feller Continuity and Full Abstraction

Autoren: Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 6/ICFP, 2022, Seite(n) 826--854, ISSN 2475-1421
Herausgeber: ACM Press
DOI: 10.1145/3547651

On the Termination Problem for Probabilistic Higher-Order Recursive Programs

Autoren: Naoki Kobayashi, Ugo Dal Lago, Charles Grellois
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe 16(2), 2019, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(4:2)2020

On probabilistic term rewriting

Autoren: Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
Veröffentlicht in: Science of Computer Programming, Ausgabe 185, 2020, Seite(n) 102338, ISSN 0167-6423
Herausgeber: Elsevier BV
DOI: 10.1016/j.scico.2019.102338

On continuation-passing transformations and expected cost analysis

Autoren: Martin Avanzini, Gilles Barthe, Ugo Dal Lago
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 5/ICFP, 2021, Seite(n) 1-30, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3473592

Suche nach OpenAIRE-Daten ...

Veröffentlichungen

Diese Seite teilen

Herunterladen