The discriminating power of the let-in operator in the lazy call-by-name probabilistic -calculus

DOI10.4230/LIPICS.FSCD.2019.26MaRDI QIDQ5089028FDOQ5089028

Authors: Simona Kašterović, Michele Pagani 

Publication date: 18 July 2022

Recommendations

• The Benefit of Being Non-Lazy in Probabilistic λ-calculus
• On probabilistic applicative bisimulation and call-by-value \(\lambda \)-calculi
• On applicative similarity, sequentiality, and full abstraction
• Lambda calculus and probabilistic computation
• Probabilistic operational semantics for the lambda calculus

zbMATH Keywords

testingbisimulationcontext equivalenceHowe's techniqueprobabilistic \(\lambda\)-calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• Probabilistic operational semantics for the lambda calculus
• Linear logic
• Bisimulation through probabilistic testing
• Domain theory, testing and simulation for labelled Markov processes
• On coinductive equivalences for higher-order probabilistic functional programs
• On probabilistic applicative bisimulation and call-by-value \(\lambda \)-calculi
• Full abstraction for probabilistic PCF
• Strong adequacy and untyped full-abstraction for probabilistic coherence spaces
• Title not available (Why is that?)
• On applicative similarity, sequentiality, and full abstraction
• Probabilistic Böhm trees and probabilistic separation

Cited In (1)

• The Benefit of Being Non-Lazy in Probabilistic λ-calculus

This page was built for publication: The discriminating power of the let-in operator in the lazy call-by-name probabilistic \(\lambda\)-calculus

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