Probabilistic operational semantics for the lambda calculus

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

zbMATH Keywords

operational semanticslambda calculusprobabilistic computaion

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

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