Pages that link to "Item:Q388203"
From MaRDI portal
The following pages link to Imperative programs as proofs via game semantics (Q388203):
Displaying 5 items.
- From global to local state, coalgebraically and compositionally (Q2133173) (← links)
- From Qualitative to Quantitative Semantics (Q2988359) (← links)
- (Q4643962) (← links)
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)
- An axiomatic account of a fully abstract game semantics for general references (Q6612783) (← links)
