An Axiomatic Account of a Fully Abstract Game Semantics for General References

Jim Laird, Guy McCusker

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

Fingerprint

Dive into the research topics of 'An Axiomatic Account of a Fully Abstract Game Semantics for General References'. Together they form a unique fingerprint.

Computer Science