Call-by-Value lambda-Graph Rewriting Without Rewriting

Maribel Fernández, Ian Mackie. Call-by-Value lambda-Graph Rewriting Without Rewriting. In Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings. Volume 2505 of Lecture Notes in Computer Science, pages 75-89, Springer, 2002. [doi]

Abstract

Abstract is missing.