A games model of bunched implications

Guy McCusker, David Pym

Research output: Chapter in Book/Report/Conference proceedingChapter

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

Mathematics