Hybrid realizability for intuitionistic and classical choice.

Valentin Blot

Browse the full LICS paper archive.