Proof-nets and the Hilbert space (1995)

View PDF

Download Links

by V. Danos , L. Regnier
Venue:Advances in Linear Logic
Citations:58 - 3 self