Process realizability (2000)

by Samson Abramsky
Venue:Proc. 1999 Marktoberdorf Summer School