Proof-nets: the parallel syntax for proof-theory (1996)

by Jean-Yves Girard
Venue:Logic and Algebra