Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. S. Abramsky, The Lazy Lambda-Calculus, to appear in Declarative Programming, Ed. D. Turner, Addison Wesley (1988).
2. H.P. Barendregt, The Lambda Calculus, Studies in Logic 103, North-Holland (1981).
3. J.-J. Lévy, An Algebraic Interpretation of the λβK-Calculus; and an Application of a Labelled λ-Calculus, Theoretical Comput. Sci. 2 (1976) 97–114.
4. R. Milner, Flowgraphs and Flow Algebras, JACM 26 (1979) 794–818.
5. R. Milner, A Calculus of Communicating Systems, Lecture Notes in Comput. Sci. 92 (1980) reprinted in Report ECS-LFCS-86-7, Edinburgh University.
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献