Document Preview Unavailable

Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix

Lê Thành Dũng Nguyên.  arXiv.org, Feb 27, 2020.

You might have access to this document