Author:
Gardner Philippa,Laneve Cosimo,Wischik Lucian
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. M. Abadi, L. Cardelli, P.-L. Curien, and J.-J. Lévy. Explicit substitutions. Journal of Functional Programming, 1(4):375–416, 1991.
2. G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217–248, 1992.
3. Lect Notes Comput Sci;L. Cardelli,1984
4. S. Conchon and F. L. Fessant. Jocaml: Mobile agents for objective-caml. In ASA/MA’99, pages 22–29. IEEE, Computer Society Press.
5. C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In POPL’96, pages 372–385. ACM Press.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Leaf-First Zipper Semantics;Lecture Notes in Computer Science;2024
2. A Behavioural Theory for a π-calculus with Preorders;Fundamentals of Software Engineering;2015
3. Pict Correctness Revisited;Lecture Notes in Computer Science;2007
4. Explicit fusions;Theoretical Computer Science;2005-08
5. An Abstract Machine for the Kell Calculus;Lecture Notes in Computer Science;2005