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]

@inproceedings{FernandezM02,
  title = {Call-by-Value lambda-Graph Rewriting Without Rewriting},
  author = {Maribel Fernández and Ian Mackie},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2505/25050075.htm},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/FernandezM02},
  cites = {0},
  citedby = {0},
  pages = {75-89},
  booktitle = {Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings},
  editor = {Andrea Corradini and Hartmut Ehrig and Hans-Jörg Kreowski and Grzegorz Rozenberg},
  volume = {2505},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44310-X},
}