A fully abstract semantics for constructor systems (2009)

by F J López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández
Venue:In Proc. of the 20th International Conference on Rewriting Techniques and Applications (RTA’09