Pages that link to "Item:Q2942901"
From MaRDI portal
The following pages link to A type theory for probability density functions (Q2942901):
Displaying 7 items.
- Towards probabilistic reasoning in type theory -- the intersection type case (Q2206780) (← links)
- Densities of almost surely terminating probabilistic programs are differentiable almost everywhere (Q2233472) (← links)
- A Type Theory for Probabilistic $$\lambda $$–calculus (Q3297838) (← links)
- (Q3384059) (← links)
- Statistical properties of simple types (Q4526148) (← links)
- Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
- Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory (Q6635512) (← links)