Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy, Explicit substitutions, POPL 90 (1990) 31–46.
2. S. Abramsky, Computational interpretations of linear logic, Theoretical Comput. Sci. 111 (1993) 3–57.
3. G. Boudol, A λ-calculus for parallel functions, INRIA Res. Report 1231 (1998)
4. G. Boudol, Lambda-calculi for (strict) parallel functions, INRIA Res. Report 1387 (1991) to appear in Information and Computation.
5. M. Coppo, M. Dezani-Ciancaglini, B. Venneri, Functional characters of solvable terms, Zeit. Math. Logik Grund. 27 (1981) 45–58.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献