Pages that link to "Item:Q388203"

The following pages link to Imperative programs as proofs via game semantics (Q388203):

Displaying 3 items.

• From global to local state, coalgebraically and compositionally (Q2133173) (← links)
• From Qualitative to Quantitative Semantics (Q2988359) (← links)
• Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)