Publisher
Springer Berlin Heidelberg
Reference45 articles.
1. S. Abramsky. On semantic foundations for applicative multiprogramming. In J. Diaz, editor, Proceedings of the Tenth International Conference On Automata, Languages And Programming, pages 1–14, New York, 1983. Springer-Verlag.
2. S. Abramsky. A generalized kahn's principle. In M. Mislove, editor, Proceedings of the Fifth Workshop on Mathematical Foundations of Programming Semantics. Springer-Verlag, 1990. Lecture Notes In Computer Science 442.
3. K. R. Apt and G. D. Plotkin. Countable nondeterminism and random assignment. Journal of the ACM, 33(4):724–767, 1986.
4. A. Arnold and M. Nivat. Formal computations of nondeterministic recursive program schemes. Math. Systems Theory, 13:219–236, 1980.
5. H. P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. Studies in Logic. North-Holland, Amsterdam, revised edition edition, 1984.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献