Pages that link to "Item:Q388203"
From MaRDI portal
The following pages link to Imperative programs as proofs via game semantics (Q388203):
Displayed 2 items.
The following pages link to Imperative programs as proofs via game semantics (Q388203):
Displayed 2 items.