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

by Jean-louis Krivine
Venue:Th. Comp. Sc
Citations:24 - 9 self