Proof-nets and the Hilbert space (1995)

by V Danos, L Regnier
Venue:In Advances in Linear Logic