Recursion Schemes and Logical Reflection (LICS, 2010)

(untitled) - Broadbent, C; Carayol, A; Ong, C; Serre, O