Recursion Schemes and Logical Reflection

Christopher H. Broadbent‚ Arnaud Carayol‚ C.−H. Luke Ong and Olivier Serre