The following pages link to Types, Maps and Separation Logic (Q3183535):
Displaying 7 items.
- Concerned with the unprivileged: user programs in kernel refinement (Q736848) (← links)
- Formal reasoning under cached address translation (Q2209539) (← links)
- Type logics and pregroups (Q2467212) (← links)
- Recognizability, hypergraph operations, and logical types (Q2496296) (← links)
- Types and coalgebraic structure (Q2577729) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)
- Logical Mappings (Q5520633) (← links)