Steffen van Bakel, Franco Barbanera, Maribel Fernández. Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. In Hanne Riis Nielson, editor, Programming Languages and Systems - ESOP 96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings. Volume 1058 of Lecture Notes in Computer Science, pages 387-403, Springer, 1996.
@inproceedings{BakelBF96, title = {Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization}, author = {Steffen van Bakel and Franco Barbanera and Maribel Fernández}, year = {1996}, tags = {rule-based, type system, graph-rewriting, rules, abstraction, rewriting}, researchr = {https://researchr.org/publication/BakelBF96}, cites = {0}, citedby = {0}, pages = {387-403}, booktitle = {Programming Languages and Systems - ESOP 96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings}, editor = {Hanne Riis Nielson}, volume = {1058}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61055-3}, }