A semantic view of classical proofs (1996)

by C-H L Ong
Venue:In Proc. LICS 96