"From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear ..."

Dale Miller, Alexis Saurin (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics