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

by Jean-louis Krivine
Venue:Th. Comp. Sc
Citations:34 - 13 self