A semantic view of classical proofs -- type-theoretic, categorical, and denotational characterizations (Extended Abstract) (1996)

Cached

Download Links

by C.-H. L. Ong
Venue:IN PROCEEDINGS OF LICS '96
Citations:30 - 2 self