An evaluation semantics for classical proofs (1991)

by C Murthy
Venue:In the IEEE Symposium on Logic in Computer Science