Pages that link to "Item:Q2945633"
From MaRDI portal
The following pages link to A Formalized Hierarchy of Probabilistic System Types (Q2945633):
Displaying 11 items.
- Zoo Probabilistic Systems (Q40255) (← links)
- Eisbach: a proof method language for Isabelle (Q287365) (← links)
- Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← links)
- Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL (Q1984795) (← links)
- A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory (Q2102926) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- Probabilistic Functions and Cryptographic Oracles in Higher Order Logic (Q2802495) (← links)
- A Formalized Hierarchy of Probabilistic System Types (Q2945633) (← links)
- (Q5875411) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5915785) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5919584) (← links)
