Pages that link to "Item:Q5458408"
From MaRDI portal
The following pages link to A Realizability Model for Impredicative Hoare Type Theory (Q5458408):
Displayed 3 items.
- Trace-based verification of imperative programs with I/O (Q617977) (← links)
- Realisability semantics of parametric polymorphism, general references and recursive types (Q3583027) (← links)
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747) (← links)