Probabilistic operational semantics for the lambda calculus
From MaRDI portal
Publication:2905328
DOI10.1051/ita/2012012zbMath1279.68183arXiv1104.0195OpenAlexW1499878068MaRDI QIDQ2905328
Margherita Zorzi, Ugo Dal Lago
Publication date: 27 August 2012
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1104.0195
Related Items (28)
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem ⋮ On Applicative Similarity, Sequentiality, and Full Abstraction ⋮ Probabilistic operational semantics for the lambda calculus ⋮ Unnamed Item ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ Calibrating generative models: the probabilistic Chomsky-Schützenberger hierarchy ⋮ Program equivalence in a typed probabilistic call-by-need functional language ⋮ A deterministic rewrite system for the probabilistic λ-calculus ⋮ Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language ⋮ Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ On quantum lambda calculi: a foundational perspective ⋮ Unnamed Item ⋮ On Higher-Order Probabilistic Subrecursion ⋮ Metric Reasoning About $$\lambda $$-Terms: The General Case ⋮ Probabilistic Termination by Monadic Affine Sized Typing ⋮ $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations ⋮ Unnamed Item ⋮ A Type Theory for Probabilistic $$\lambda $$–calculus ⋮ Stochastic \(\lambda\)-calculi: an extended abstract ⋮ The vectorial \(\lambda\)-calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Mitigating Multi-target Attacks in Hash-Based Signatures ⋮ Unnamed Item ⋮ QPCF: higher-order languages and quantum circuits ⋮ Confluence in probabilistic rewriting
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- Coinductive big-step operational semantics
- CPS transformation of beta-redexes
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- LCF considered as a programming language
- Nondeterministic extensions of untyped \(\lambda\)-calculus
- Probabilistic operational semantics for the lambda calculus
- The duality of computation
- Probabilistic -calculus and Quantitative Program Analysis
- Introduction to Bisimulation and Coinduction
- Proofs of Randomized Algorithms in Coq
- Representing Control: a Study of the CPS Transformation
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Elements of Stream Calculus
- Stochastic lambda calculus and monads of probability distributions
- A probabilistic language based upon sampling functions
- A lambda calculus for quantum computation with classical control
This page was built for publication: Probabilistic operational semantics for the lambda calculus
