The following pages link to (Q4411847):
Displayed 4 items.
- A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++ (Q1015388) (← links)
- The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas} (Q1748385) (← links)
- Cryptographic logical relations (Q2481976) (← links)
- On the Versatility of Open Logical Relations (Q5041087) (← links)