Rewriting Higher-Order Stack Trees

Vincent Penelle. Rewriting Higher-Order Stack Trees. Theory Comput. Syst., 61(2):536-580, 2017. [doi]

Abstract

Abstract is missing.