"Complexity Hierarchies and Higher-Order Cons-Free Rewriting."

Cynthia Kop, Jakob Grue Simonsen (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics