Coherent Functions and Program Checkers (Extended Abstract)

Coherent Functions and Program Checkers (Extended Abstract) Andrew Chi-Chih Yao 84-94 conf/stoc/STOC22 1990 STOC db/conf/stoc/stoc90.html#Yao90