Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. ABDALI, S.K. A lambda-calculus model of programming languages I, II
Journal of Computer Languages, Vol. 1, Pergamon Press, (1976), pp. 287–320
2. DAMM, W. Higher type program schemes and their tree languages
Proc. 3rd GI conference on Theoretical Computer Science Lecture Notes in Computer Science 48 (1977), pp. 51–72 Springer Verlag
3. DAMM, W. Languages defined by higher type program schemes
Proc. 4th international colloquium on Automata, Languages, and Programming, Lecture Notes in Computer Science 52 (1977), pp. 164–179, Springer Verlag
4. DAMM, W. The IO and OI hierarchies
Schriften zur Informatik und Angewandten Mathematik, RWTH Aachen (1978)
5. DAMM, W. Procedure schemes
Schriften z. Inform. u. Angew. Math., RWTH Aachen (1978)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献