Author:
Atkey Robert,Lindley Sam,Morris J. Garrett
Publisher
Springer International Publishing
Reference29 articles.
1. Abramsky, S.: Proofs as processes. Theor. Comput. Sci. 135(1), 5–9 (1992)
2. Abramsky, S., Gay, S.J., Nagarajan, R.: Interaction categories and the foundations of typed concurrent programming. In: Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany, pp. 35–113 (1996)
3. Bellin, G., Scott, P.J.: On the
$$\pi $$
-Calculus and linear logic. Theoret. Comput. Sci. 135(1), 11–65 (1994)
4. Bird, R., Wadler, P.: An Introduction to Functional Programming. Prentice Hall International (UK) Ltd., Hertfordshire (1988)
5. Lecture Notes in Computer Science;L Caires,2010
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献