Probabilistic operational semantics for the lambda calculus
RAIRO-Theor. Inf. Appl., 46 3 (2012) 413-450
Published online: 2012-06-22
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
A distribution semantics for probabilistic term rewriting
Germán VidalJournal of Logical and Algebraic Methods in Programming 146 101070 (2025)
https://doi.org/10.1016/j.jlamp.2025.101070
A Logic of Knowledge and Justifications, with an Application to Computational Trust
Francesco A. GencoStudia Logica (2024)
https://doi.org/10.1007/s11225-024-10165-7
Program equivalence in a typed probabilistic call-by-need functional language
Manfred Schmidt-Schauß and David SabelJournal of Logical and Algebraic Methods in Programming 135 100904 (2023)
https://doi.org/10.1016/j.jlamp.2023.100904
1 (2023)
https://doi.org/10.1109/LICS56636.2023.10175773
A Gradual Probabilistic Lambda Calculus
Wenjia Ye, Matías Toro and Federico OlmedoProceedings of the ACM on Programming Languages 7 (OOPSLA1) 256 (2023)
https://doi.org/10.1145/3586036
Semantics of quantum programming languages: Classical control, quantum control
Benoît ValironJournal of Logical and Algebraic Methods in Programming 128 100790 (2022)
https://doi.org/10.1016/j.jlamp.2022.100790
A Meta-theory for Big-step Semantics
Francesco DagninoACM Transactions on Computational Logic 23 (3) 1 (2022)
https://doi.org/10.1145/3522729
1 (2022)
https://doi.org/10.1145/3551357.3551374
1312 (2021)
https://doi.org/10.1145/3453483.3454111
On continuation-passing transformations and expected cost analysis
Martin Avanzini, Gilles Barthe and Ugo Dal LagoProceedings of the ACM on Programming Languages 5 (ICFP) 1 (2021)
https://doi.org/10.1145/3473592
1 (2021)
https://doi.org/10.1109/LICS52264.2021.9470633
Intersection types and (positive) almost-sure termination
Ugo Dal Lago, Claudia Faggian and Simona Ronchi Della RoccaProceedings of the ACM on Programming Languages 5 (POPL) 1 (2021)
https://doi.org/10.1145/3434313
On probabilistic term rewriting
Martin Avanzini, Ugo Dal Lago and Akihisa YamadaScience of Computer Programming 185 102338 (2020)
https://doi.org/10.1016/j.scico.2019.102338
327 (2020)
https://doi.org/10.1145/3373718.3394806
Foundations of Software Science and Computation Structures
Ugo Dal Lago, Giulio Guerrieri and Willem HeijltjesLecture Notes in Computer Science, Foundations of Software Science and Computation Structures 12077 136 (2020)
https://doi.org/10.1007/978-3-030-45231-5_8
From Lambda Calculus to Cybersecurity Through Program Analysis
Alessandra Di PierroLecture Notes in Computer Science, From Lambda Calculus to Cybersecurity Through Program Analysis 12065 86 (2020)
https://doi.org/10.1007/978-3-030-41103-9_3
Calibrating generative models: The probabilistic Chomsky–Schützenberger hierarchy
Thomas F. IcardJournal of Mathematical Psychology 95 102308 (2020)
https://doi.org/10.1016/j.jmp.2019.102308
Taylor subsumes Scott, Berry, Kahn and Plotkin
Davide Barbarossa and Giulio ManzonettoProceedings of the ACM on Programming Languages 4 (POPL) 1 (2020)
https://doi.org/10.1145/3371069
Probabilistic Termination by Monadic Affine Sized Typing
Ugo Dal Lago and Charles GrelloisACM Transactions on Programming Languages and Systems 41 (2) 1 (2019)
https://doi.org/10.1145/3293605
Quantum Programming Made Easy
Luca Paolini, Luca Roversi and Margherita ZorziElectronic Proceedings in Theoretical Computer Science 292 133 (2019)
https://doi.org/10.4204/EPTCS.292.8
QPCF: Higher-Order Languages and Quantum Circuits
Luca Paolini, Mauro Piccolo and Margherita ZorziJournal of Automated Reasoning 63 (4) 941 (2019)
https://doi.org/10.1007/s10817-019-09518-y
1 (2019)
https://doi.org/10.1109/LICS.2019.8785679
Environmental Bisimulations for Probabilistic Higher-order Languages
Davide Sangiorgi and Valeria VignudelliACM Transactions on Programming Languages and Systems 41 (4) 1 (2019)
https://doi.org/10.1145/3350618
Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministic
Maria I. Gorinova, Andrew D. Gordon and Charles SuttonProceedings of the ACM on Programming Languages 3 (POPL) 1 (2019)
https://doi.org/10.1145/3290348
Programming Languages and Systems
Ugo Dal Lago and Francesco GavazzoLecture Notes in Computer Science, Programming Languages and Systems 11423 263 (2019)
https://doi.org/10.1007/978-3-030-17184-1_10
A deterministic rewrite system for the probabilistic λ-calculus
Thomas LeventisMathematical Structures in Computer Science 29 (10) 1479 (2019)
https://doi.org/10.1017/S0960129519000045
Confluence in Probabilistic Rewriting
Alejandro Díaz-Caro and Guido MartínezElectronic Notes in Theoretical Computer Science 338 115 (2018)
https://doi.org/10.1016/j.entcs.2018.10.008
275 (2018)
https://doi.org/10.1145/3209108.3209198
1 (2018)
https://doi.org/10.1145/3236950.3236968
Logical Foundations of Computer Science
Silvia Ghilezan, Jelena Ivetić, Simona Kašterović, Zoran Ognjanović and Nenad SavićLecture Notes in Computer Science, Logical Foundations of Computer Science 10703 170 (2018)
https://doi.org/10.1007/978-3-319-72056-2_11
Programming Languages and Systems
Raphaëlle Crubillé and Ugo Dal LagoLecture Notes in Computer Science, Programming Languages and Systems 10201 341 (2017)
https://doi.org/10.1007/978-3-662-54434-1_13
Theory and Applications of Models of Computation
Luca Paolini and Margherita ZorziLecture Notes in Computer Science, Theory and Applications of Models of Computation 10185 455 (2017)
https://doi.org/10.1007/978-3-319-55911-7_33
1 (2017)
https://doi.org/10.1109/LICS.2017.8005117
Programming Languages and Systems
Ugo Dal Lago and Charles GrelloisLecture Notes in Computer Science, Programming Languages and Systems 10201 393 (2017)
https://doi.org/10.1007/978-3-662-54434-1_15
Foundations of Software Science and Computation Structures
Flavien Breuvart, Ugo Dal Lago and Agathe HerrouLecture Notes in Computer Science, Foundations of Software Science and Computation Structures 10203 370 (2017)
https://doi.org/10.1007/978-3-662-54458-7_22
The vectorial λ-calculus
Pablo Arrighi, Alejandro Díaz-Caro and Benoît ValironInformation and Computation 254 105 (2017)
https://doi.org/10.1016/j.ic.2017.04.001
Environmental bisimulations for probabilistic higher-order languages
Davide Sangiorgi and Valeria VignudelliACM SIGPLAN Notices 51 (1) 595 (2016)
https://doi.org/10.1145/2914770.2837651
On quantum lambda calculi: a foundational perspective
MARGHERITA ZORZIMathematical Structures in Computer Science 26 (7) 1107 (2016)
https://doi.org/10.1017/S0960129514000425
On natural deduction in classical first-order logic: Curry–Howard correspondence, strong normalization and Herbrand's theorem
Federico Aschieri and Margherita ZorziTheoretical Computer Science 625 125 (2016)
https://doi.org/10.1016/j.tcs.2016.02.028
Correct System Design
Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi and Valeria VignudelliLecture Notes in Computer Science, Correct System Design 9360 65 (2015)
https://doi.org/10.1007/978-3-319-23506-6_7
Foundations of Software Science and Computation Structures
Aleš Bizjak and Lars BirkedalLecture Notes in Computer Science, Foundations of Software Science and Computation Structures 9034 279 (2015)
https://doi.org/10.1007/978-3-662-46678-0_18
309 (2014)
https://doi.org/10.1145/2535838.2535865
The probability of non-confluent systems
Alejandro Díaz-Caro and Gilles DowekElectronic Proceedings in Theoretical Computer Science 144 1 (2014)
https://doi.org/10.4204/EPTCS.144.1
Reasoning about reasoning by nested conditioning: Modeling theory of mind with probabilistic programs
A. Stuhlmüller and N.D. GoodmanCognitive Systems Research 28 80 (2014)
https://doi.org/10.1016/j.cogsys.2013.07.003
Programming Languages and Systems
Raphaëlle Crubillé and Ugo Dal LagoLecture Notes in Computer Science, Programming Languages and Systems 8410 209 (2014)
https://doi.org/10.1007/978-3-642-54833-8_12
Stochastic λ-calculi: An extended abstract
Dana S. ScottJournal of Applied Logic 12 (3) 369 (2014)
https://doi.org/10.1016/j.jal.2014.03.003
Probabilistic coherence spaces are fully abstract for probabilistic PCF
Thomas Ehrhard, Christine Tasson and Michele PaganiACM SIGPLAN Notices 49 (1) 309 (2014)
https://doi.org/10.1145/2578855.2535865
Strong Normalization for HA + EM1 by Non-Deterministic Choice
Federico AschieriElectronic Proceedings in Theoretical Computer Science 127 1 (2013)
https://doi.org/10.4204/EPTCS.127.1
Typed Lambda Calculi and Applications
Federico Aschieri and Margherita ZorziLecture Notes in Computer Science, Typed Lambda Calculi and Applications 7941 31 (2013)
https://doi.org/10.1007/978-3-642-38946-7_5