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
Link opens in a new tab
Citations
(SciVal)
313
Downloads
(Pure)