Proof Theory and (1987)

by J-Y Girard
Venue:Logical Complexity