An evaluation semantics for classical proofs (0)

by Chetan R Murthy
Venue:InProceedings, Sixth Annual IEEE Symposium on Logic in Computer Science