Semantics of Higher-Order Recursion Schemes.

Jir Admek, Stefan Milius, Jir Velebil

Browse the full CALCO paper archive.