From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dale Miller, Alexis Saurin. From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic. In Jacques Duparc, Thomas A. Henzinger, editors, Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings. Volume 4646 of Lecture Notes in Computer Science, pages 405-419, Springer, 2007. [doi]

This author has not been identified. Look up 'Dale Miller' in GoogleThis author has not been identified. Look up 'Alexis Saurin' in Google

runs on WebDSL