Back to Results
First PageMeta Content
Logic / Proof theory / Mathematical logic / Sequent / Linear logic / Cut-elimination theorem / Noncommutative logic / Rule of inference / Soundness / Natural deduction / CurryHoward correspondence


The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr
Add to Reading List

Document Date: 2011-06-22 07:54:11

Open Document

File Size: 1.020,57 KB

Share Result on Facebook