[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - On the relationship between higher-order recursion schemes and higher-order fixpoint logic
Kobayashi, Naoki, Lozes, Étienne, Bruse, FlorianYear:
2017
Language:
english
DOI:
10.1145/3009837.3009854
File:
PDF, 540 KB
english, 2017