Cut elimination in multifocused linear logic

Nicolas Guenot, Taus Brock-Nannestad

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Fingerprint

Dive into the research topics of 'Cut elimination in multifocused linear logic'. Together they form a unique fingerprint.