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

by J-L Krivine
Venue:Theoretical Computer Science