Boolean-valued semantics for the stochastic -calculus

DOI10.1145/3209108.3209175zbMATH Open1453.03006OpenAlexW2809754822MaRDI QIDQ5145343FDOQ5145343

Authors:

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://strathprints.strath.ac.uk/74747/

Recommendations

• A probabilistic semantics for the pure \(\lambda\)-calculus
• Probabilistic operational semantics for the lambda calculus
• Stochastic \(\lambda\)-calculi: an extended abstract
• Stochastic lambda calculus and monads of probability distributions
• Probabilistic  -calculus and Quantitative Program Analysis

zbMATH Keywords

random variablesdenotational semanticsBoolean-valued modelsstochastic \(\lambda \)-calculus

Mathematics Subject Classification ID

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

Cited In (6)

• Title not available (Why is that?)
• A possible worlds semantics for trustworthy non-deterministic computations
• Stochastic lambda calculus and monads of probability distributions
• Stochastic \(\lambda\)-calculi: an extended abstract
• A probabilistic semantics for the pure \(\lambda\)-calculus
• Probabilistic operational semantics for the lambda calculus

This page was built for publication: Boolean-valued semantics for the stochastic \(\lambda \)-calculus

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