Research program introduced by Jean-Yves Girard to mathematically study the fine algorithms of Gentzen-Style Cut Elimination Approach to proof theory that builds off Linear Logic.
Research program introduced by Jean-Yves Girard to mathematically study the fine algorithms of Gentzen-Style Cut Elimination Approach to proof theory that builds off Linear Logic.