Author:
Castagna Giuseppe,Dezani-Ciancaglini Mariangiola,Varacca Daniele
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;L. Acciai,2005
2. Benzaken, V., Castagna, G., Frisch, A.: CDuce: an XML-friendly general purpose language. In: ICFP 2003, pp. 51–63. ACM Press, New York (2003)
3. Boudol, G.: Asynchrony and the π-calculus. Research Report 1702, INRIA (1992), http://www.inria.fr/rrrt/rr-1702.html
4. Lecture Notes in Computer Science;A.L. Brown,2005
5. Lecture Notes in Computer Science;G. Castagna,2005
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Intersection types and runtime errors in the pi-calculus;Proceedings of the ACM on Programming Languages;2019-01-02
2. Semantic subtyping;Journal of the ACM;2008-09
3. Encoding ℂDuce in the ℂπ-Calculus;CONCUR 2006 – Concurrency Theory;2006