M.: RPO, second-order contexts, and λ-calculus (2008)

by P Di Gianantonio, F Honsel, Lenisa
Venue:In: Foundations of Software Science and Computational Structures. Volume 4962 of LNCS