A Semantic View of Classical Proofs: Type-Theoretic, Categorical, and Denotational Characterizations (Preliminary Extended Abstract).

C.-H. Luke Ong

Browse the full LICS paper archive.