The following pages link to (Q4411847):
Displaying 9 items.
- A family of syntactic logical relations for the semantics of Haskell-like languages (Q1012131) (← links)
- A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++ (Q1015388) (← links)
- Relations in monadic third-order logic (Q1372940) (← links)
- The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas} (Q1748385) (← links)
- Cryptographic logical relations (Q2481976) (← links)
- Logical relations for monadic types (Q3545276) (← links)
- A note on logical relations between semantics and syntax (Q4353722) (← links)
- On the Versatility of Open Logical Relations (Q5041087) (← links)
- Computer Science Logic (Q5311272) (← links)