A new constructive logic: Classical logic (1991)

by J-Y Girard
Venue:Mathematical Structures in Computer Science