Sequents and link graphs : contraction criteria for refinements of multiplicative linear logic

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Fingerprint

Dive into the research topics of 'Sequents and link graphs : contraction criteria for refinements of multiplicative linear logic'. Together they form a unique fingerprint.