A games model of bunched implications

Guy McCusker, David Pym

Research output: Chapter or section in a book/report/conference proceedingBook chapter

Fingerprint

Dive into the research topics of 'A games model of bunched implications'. Together they form a unique fingerprint.

Mathematics

Engineering

Computer Science