A new constructive logic: classical logic (1991)

by J-Y Girard
Venue:Math. Structures Comput. Sci