On the logical structure of choice and bar induction principles.

Nuria Brede, Hugo Herbelin

Browse the full LICS paper archive.