Author:
Ariola Zena M.,Blom Stefan
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Ariola, Z.M.: Relating graph and term rewriting via Böhm models. Applicable Algebra in Engineering, Communication and Computing 7(5) (1996)
2. Ariola, Z.M., Arvind: Properties of a first-order functional language with sharing. Theoretical Computer Science 146, 69–108 (1995)
3. Ariola, Z.M., Blom, S.: Lambda calculi plus letrec. Technical Report CIS-TR-97-05, Department of computer and information science, University of Oregon
4. Lecture Notes in Computer Science;Z.M. Ariola,1997
5. Ariola, Z.M., Blom, S.: Lambda calculi plus letrec. Technical Report IR-434, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam (October 1997)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献