Imperative programs as proofs via game semantics

Martin Churchill, James Laird, Guy McCusker

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

4 Citations (SciVal)
259 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Imperative programs as proofs via game semantics'. Together they form a unique fingerprint.

Computer Science