Naoki Kobayashi 0001, Étienne Lozes, Florian Bruse
On the relationship between higher-order recursion schemes and higher-order fixpoint logic
POPL, 2017.
@inproceedings{POPL-2017-KobayashiLB,
author = "Naoki Kobayashi 0001 and Étienne Lozes and Florian Bruse",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "246--259",
publisher = "{ACM}",
title = "{On the relationship between higher-order recursion schemes and higher-order fixpoint logic}",
year = 2017,
}