On bisimilarity in lambda calculi with continuous probabilistic choice

DOI10.1016/J.ENTCS.2019.09.007MaRDI QIDQ2133169zbMATH OpenOpenAlexWikidataFDO

Authors Ugo Dal Lago, Francesco Gavazzo

Publication date 29 April 2022

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2019.09.007

zbMATH Keywords

\(\lambda\)-calculuscontinuous distributionsprobabilistic computation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• On probabilistic applicative bisimulation and call-by-value \(\lambda \)-calculi
• On coinductive equivalences for higher-order probabilistic functional programs
• On applicative similarity, sequentiality, and full abstraction
• Applicative bisimulation and quantum \(\lambda\)-calculi
• The Benefit of Being Non-Lazy in Probabilistic λ-calculus

Cites work

• scientific article; zbMATH DE number 1705158 (Why is no real title available?)
• scientific article; zbMATH DE number 431771 (Why is no real title available?)
• scientific article; zbMATH DE number 3814961 (Why is no real title available?)
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 1330448 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3423547 (Why is no real title available?)
• A lambda-calculus foundation for universal probabilistic programming
• A probabilistic language based upon sampling functions
• A semantic account of metric preservation
• A user's guide to measure theoretic probability
• Approximate relational Hoare logic for continuous random samplings
• Behavioural equivalence via modalities for algebraic effects
• Codensity lifting of monads and its dual
• Commutative semantics for probabilistic programming
• Contextual equivalence for probabilistic programs with continuous random variables and scoring
• Distance makes the types grow stronger: a calculus for differential privacy
• Domain theory, testing and simulation for labelled Markov processes
• Effectful applicative bisimilarity: monads, relators, and Howe's method
• Equivalence in functional languages with effects
• Fixpoint semantics and simulation
• Howe's method for higher-order languages
• Infinitary Howe's method
• Logical relations for monadic types
• Modelling environments in call-by-value programming languages.
• Nondeterministic extensions of untyped \(\lambda\)-calculus
• On coinductive equivalences for higher-order probabilistic functional programs
• On probabilistic applicative bisimulation and call-by-value \(\lambda \)-calculi
• Probabilistic bisimulation
• Proving congruence of bisimulation in functional programming languages
• Quantitative Behavioural Reasoning for Higher-order Effectful Programs
• Relational algebras
• Relational reasoning about contexts
• Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
• Similarity quotients as final coalgebras
• Simulations in coalgebra
• Step-indexed logical relations for probability
• Stochastic lambda calculus and monads of probability distributions
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The lazy lambda calculus in a concurrency scenario
• Typed Normal Form Bisimulation

Cited in

(2)

• The Benefit of Being Non-Lazy in Probabilistic λ-calculus
• A fibrational tale of operational logical relations: pure, effectful and differential

This page was built for publication: On bisimilarity in lambda calculi with continuous probabilistic choice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2133169)