Coherence for sharing proof-nets

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.