Proof-nets : the parallel syntax for proof theory. Logic and Algebra (1996)

by Jean-Yves Girard
Venue:In Proceedings of International Conference on Typed Lambda Calculus and Applications, volume 2701 of LNCS