On the meaning of logical rules I: syntax vs. semantics (1999)

by J-Y Girard
Venue:in Computational Logic, U. Berger and H. Schwichtenberg eds, 215-272, Nato Series F 165