A new constructive logic: classical logic (1991)

by J-Y Girard
Venue:Math. Struct. in Comp. Science