A Fully Abstract Semantics for Constructor Systems

Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. A Fully Abstract Semantics for Constructor Systems. In Ralf Treinen, editor, Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings. Volume 5595 of Lecture Notes in Computer Science, pages 320-334, Springer, 2009. [doi]

Abstract

Abstract is missing.