Substructural Proofs as Automata.

Henry DeYoung, Frank Pfenning

Browse the full APLAS paper archive.