Zinovy Diskin, Ilya Beylin. Lambda Substitution Algebras. In Andrzej M. Borzyszkowski, Stefan Sokolowski, editors, Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS 93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings. Volume 711 of Lecture Notes in Computer Science, pages 423-432, Springer, 1993.
@inproceedings{DiskinB93, title = {Lambda Substitution Algebras}, author = {Zinovy Diskin and Ilya Beylin}, year = {1993}, tags = { algebra}, researchr = {https://researchr.org/publication/DiskinB93}, cites = {0}, citedby = {0}, pages = {423-432}, booktitle = {Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS 93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings}, editor = {Andrzej M. Borzyszkowski and Stefan Sokolowski}, volume = {711}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-57182-5}, }