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

G.W.Q. Puite

Research output: Thesis › Phd 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.

Social Sciences

Earth and Planetary Sciences

Medicine and Dentistry