The expression lemma (2008)

by Ralf Lämmel, Ondrej Rypacek
Venue:In Proceedings of Mathematics of Program Construction (MPC) 2008, LNCS