Braided Proof Nets and Categories (1995)

by R Blute