On Bar Recursion and Choice in a Classical Setting.

Valentin Blot, Colin Riba

Browse the full APLAS paper archive.