Back to Results
First PageMeta Content
Logic / Mathematical logic / Proof theory / Sequent / Rule of inference / Natural deduction / Propositional calculus / Deep inference / Theorem / Intuitionistic logic / Formal proof / Inference


From Deep Inference to Proof Nets via Cut Elimination Lutz Straßburger INRIA Saclay–ˆIle-de-France, France http://www.lix.polytechnique.fr/∼ lutz June 24, 2009
Add to Reading List

Document Date: 2009-06-25 08:22:18


Open Document

File Size: 450,19 KB

Share Result on Facebook
UPDATE