Recursion Schemes and Logical Reflection.

Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre

Browse the full LICS paper archive.