On the unity of logic, Annals of Pure and Applied Logic 59 (1993)

by J-Y Girard
Venue:Regnier (Eds.), Advances in Linear Logic, no. 222 in London Mathematical Society Lecture Note Series