Login / Signup

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

Naoki KobayashiÉtienne LozesFlorian Bruse
Published in: POPL (2017)
Keyphrases