Author:
Berry Gérard,Boudol Gérard
Subject
General Computer Science,Theoretical Computer Science
Reference32 articles.
1. Explicit substitutions;Abadi;Proc. 17th ACM Ann. Symp. on Principles of Programming Languages,1990
2. The lazy λ-calculus;Abramsky,1989
3. Sémantique des processus communicants;Arnold;RAIRO Inform. Théor. Appl.,1981
4. A parallel machine for multiset transformation and its programming style;Banâtre;Future Generation Comput. Systems,1988
5. The Gamma model and its discipline of programming;Banâtre;Science Comput. Programming,1990
Cited by
477 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献