Coherent Functions and Program Checkers (Extended Abstract)

Andrew Chi-Chih Yao

Browse the full STOC paper archive.