Proof-nets and the Hilbert space

• 22 June 1995
• book chapter
• Published by Cambridge University Press (CUP)
• p. 307-328
• https://doi.org/10.1017/cbo9780511629150.016

Abstract

Keywords

• LOGIC