Denotations for Classical Proofs. Preliminary Results (1992)

by Philippe de Groote
Venue:In Lecture Notes in Computer Science