Directed Virtual Reductions.

Vincent Danos, Marco Pedicini, Laurent Regnier

Browse the full CSL paper archive.