A semantic view of classical proofs: type-theoretic, categorical, and denotational characterizations (preliminary extended abstract (1996)

by C-H L Ong
Venue:In Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science