An interpretation of system F through bar recursion.

Valentin Blot

Browse the full LICS paper archive.