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 - Natural deduction - Document - PDFSEARCH.IO

First Page	Meta Content
	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

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, 2009Add to Reading List