RPO, Second-Order Contexts, and lambda-Calculus.

Pietro Di Gianantonio, Furio Honsell, Marina Lenisa

Browse the full FOSSACS paper archive.