Coherence for sharing proof-nets

Stefano Guerrini, Simone Martini, Andrea Masini. Coherence for sharing proof-nets. Theoretical Computer Science, 294(3):379-409, 2003.

Abstract

Abstract is missing.