Pages that link to "Item:Q5458408"
From MaRDI portal
The following pages link to A Realizability Model for Impredicative Hoare Type Theory (Q5458408):
Displaying 5 items.
- Specification patterns for reasoning about recursion through the store (Q393092) (← links)
- Trace-based verification of imperative programs with I/O (Q617977) (← links)
- Partiality, State and Dependent Types (Q3007667) (← 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)
