On the relationship between higher-order recursion schemes and higher-order fixpoint logic.

Naoki Kobayashi, tienne Lozes, Florian Bruse

Browse the full POPL paper archive.