Probabilistic Böhm trees and probabilistic separation

DOI10.1145/3209108.3209126zbMATH Open1453.03009OpenAlexW2798427740MaRDI QIDQ5145341FDOQ5145341

Thomas Leventis

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3209108.3209126

Recommendations

• On probabilistic applicative bisimulation and call-by-value \(\lambda \)-calculi
• Probabilistic operational semantics for the lambda calculus
• On coinductive equivalences for higher-order probabilistic functional programs
• The Benefit of Being Non-Lazy in Probabilistic λ-calculus
• A deterministic rewrite system for the probabilistic \(\lambda\)-calculus

zbMATH Keywords

separationobservational equivalenceBöhm treesprobabilistic lambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Taylor expansion of probabilistic λ-terms
• Abstract Böhm trees

This page was built for publication: Probabilistic Böhm trees and probabilistic separation

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