@inproceedings{DBLP:conf/lics/BroadbentCOS10, title = "Recursion Schemes and Logical Reflection", author = "Christopher H. Broadbent and Arnaud Carayol and C.-H. Luke Ong and Olivier Serre", year = "2010", booktitle = "LICS", pages = "120-129", }