Dependent choice, ‘quote’ and the clock (2003)

by J-L Krivine
Venue:Theor. Comput. Sci