Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)

Lawrence Dunn, Jamie Vicary

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)'. Together they form a unique fingerprint.

Mathematics