Coherence for sharing proof-nets

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

No reviews for this publication, yet.