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

by Jean-louis Krivine
Venue:Th. Comp. Sc
Citations:28 - 10 self