Proof Nets for Multiplicative and Additive Linear Logic (1991)

by G BELLIN