LBI Cut Elimination Proof with BI-MultiCut

Ryuta Arisaka, Shengchao Qin

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Fingerprint

    Dive into the research topics of 'LBI Cut Elimination Proof with BI-MultiCut'. Together they form a unique fingerprint.

    Keyphrases

    Mathematics

    Computer Science