Pages that link to "Item:Q4580222"
From MaRDI portal
The following pages link to A Type Theory for Probabilistic and Bayesian Reasoning (Q4580222):
Displaying 6 items.
- On redundant types and Bayesian formulation of incomplete information (Q840689) (← links)
- Towards probabilistic reasoning in type theory -- the intersection type case (Q2206780) (← links)
- A Type Theory for Probabilistic $$\lambda $$–calculus (Q3297838) (← links)
- (Q3384059) (← links)
- Universal Properties in Quantum Theory (Q3385637) (← links)
- Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic (Q6060672) (← links)