RPO, Second-order Contexts, and Lambda-calculus

Pietro Di Gianantonio, Furio Honsell, Marina Lenisa

First, we extend Leifer-Milner RPO theory, by giving general conditions to obtain IPO labelled transition systems (and bisimilarities) with a reduced set of transitions, and possib…