Advertisement

The lambda-calculus with multiplicities

Abstract
  • Gérard Boudol
Invited Talk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 715)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Abadi et al. 1990]
    M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy, Explicit substitutions, POPL 90 (1990) 31–46.Google Scholar
  2. [Abramsky 1993]
    S. Abramsky, Computational interpretations of linear logic, Theoretical Comput. Sci. 111 (1993) 3–57.CrossRefGoogle Scholar
  3. [Boudol 1990]
    G. Boudol, A λ-calculus for parallel functions, INRIA Res. Report 1231 (1998)Google Scholar
  4. [Boudol 1991]
    G. Boudol, Lambda-calculi for (strict) parallel functions, INRIA Res. Report 1387 (1991) to appear in Information and Computation.Google Scholar
  5. [Coppo et al. 1981]
    M. Coppo, M. Dezani-Ciancaglini, B. Venneri, Functional characters of solvable terms, Zeit. Math. Logik Grund. 27 (1981) 45–58.Google Scholar
  6. [Girard 1987]
    J.-Y. Girard, Linear Logic, Theoretical Comput. Sci. 50 (1987) 1–102.CrossRefGoogle Scholar
  7. [Milner 1992]
    R. Milner, Functions as processes, Math. Struct. in Comp. Science 2 (1992) 119–141.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Gérard Boudol
    • 1
  1. 1.INRIA-Sophia AntipolisSophia-Antipolis, CedexFrance

Personalised recommendations