Boolean-valued semantics for the stochastic -calculus

DOI10.1145/3209108.3209175MaRDI QIDQ5145343zbMATH OpenOpenAlexFDO

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/

zbMATH Keywords

Boolean-valued modelsdenotational semanticsrandom variablesstochastic \(\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)

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

Cited in

(9)

• A probabilistic semantics for the pure \(\lambda\)-calculus
• Stochastic \(\lambda\)-calculi: an extended abstract
• Probabilistic operational semantics for the lambda calculus
• Stochastic lambda calculus and monads of probability distributions
• scientific article; zbMATH DE number 7649968 (Why is no real title available?)
• A possible worlds semantics for trustworthy non-deterministic computations
• Checking trustworthiness of probabilistic computations in a typed natural deduction system
• A Cartesian closed category for random variables
• Trustworthiness preservation by copies of machine learning systems

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)