Pages that link to "Item:Q5276144"
From MaRDI portal
The following pages link to A probabilistic language based upon sampling functions (Q5276144):
Displaying 14 items.
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Probabilistic modelling, inference and learning using logical theories (Q841641) (← links)
- Proofs of randomized algorithms in Coq (Q923886) (← links)
- Formalization of the standard uniform random variable (Q995466) (← links)
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Correctness of sequential Monte Carlo inference for probabilistic programming languages (Q2233471) (← links)
- Probabilistic reasoning in a classical logic (Q2390656) (← links)
- An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages (Q2802487) (← links)
- Probabilistic operational semantics for the lambda calculus (Q2905328) (← links)
- A Type Theory for Probabilistic $$\lambda $$–calculus (Q3297838) (← links)
- (Q5089021) (← links)
- (Q5094133) (← links)
- Automation of Quantitative Information-Flow Analysis (Q5300883) (← links)
- Measure Transformer Semantics for Bayesian Machine Learning (Q5892490) (← links)
