Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries. Infinitary Lambda Calculi and Böhm Models. In Jieh Hsiang, editor, Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings. Volume 914 of Lecture Notes in Computer Science, pages 257-270, Springer, 1995.
@inproceedings{KennawayKSV95, title = {Infinitary Lambda Calculi and Böhm Models}, author = {Richard Kennaway and Jan Willem Klop and M. Ronan Sleep and Fer-Jan de Vries}, year = {1995}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/KennawayKSV95}, cites = {0}, citedby = {0}, pages = {257-270}, booktitle = {Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings}, editor = {Jieh Hsiang}, volume = {914}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-59200-8}, }