Proof-nets and the Hilbert space (1995)

Cached

Download Links

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