Coherence for sharing proof-nets

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

Authors

Stefano Guerrini

This author has not been identified. Look up 'Stefano Guerrini' in Google

Simone Martini

This author has not been identified. Look up 'Simone Martini' in Google

Andrea Masini

This author has not been identified. Look up 'Andrea Masini' in Google