Home

V.__Danos


Proof-nets and the Hilbert space