Linearity in the non-deterministic call-by-value setting

Conference object, Preprint English OPEN
Díaz-Caro , Alejandro; Petit , Barbara;
(2012)
  • Publisher: Springer
  • Related identifiers: doi: 10.1007/978-3-642-32621-9_16
  • Subject: [ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO] | Computer Science - Logic in Computer Science
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
    arxiv: Computer Science::Logic in Computer Science

International audience; We consider the non-deterministic extension of the call-by-value lambda calculus, which corresponds to the additive fragment of the linear-algebraic lambda-calculus. We define a fine-grained type system, capturing the right linearity present in s... View more
  • References (20)
    20 references, page 1 of 2

    1. Boudol, G.: Lambda-calculi for (strict) parallel functions. Information and Computation 108(1) (1994) 51-127

    2. Bucciarelli, A., Ehrhard, T., Manzonetto, G.: A relational semantics for parallelism and non-determinism in a functional setting. Annals of Pure and Applied Logic 163(7) (2012) 918-934

    3. Dezani-Ciancaglini, M., de'Liguoro, U., Piperno, A.: Filter models for conjunctivedisjunctive lambda-calculi. Theoretical Computer Science 170(1-2) (1996) 83-128

    4. Dezani-Ciancaglini, M., de'Liguoro, U., Piperno, A.: A filter model for concurrent lambda-calculus. SIAM Journal on Computing 27(5) (1998) 1376-1419

    5. Arrighi, P., Dowek, G.: Linear-algebraic lambda-calculus: higher-order, encodings, and confluence. In Voronkov, A., ed.: Proceedings of RTA-2008. Volume 5117 of Lecture Notes in Computer Science., Springer (2008) 17-31

    6. Vaux, L.: The algebraic lambda calculus. Mathematical Structures in Computer Science 19(5) (2009) 1029-1059

    7. Assaf, A., Perdrix, S.: Completeness of algebraic cps simulations. In: Proceedings of the 7th International Workshop on Developments of Computational Methods (DCM 2011), Zurich, Switzerland (2011) To appear in EPTCS.

    8. D´ıaz-Caro, A., Perdrix, S., Tasson, C., Valiron, B.: Equivalence of algebraic λ- calculi. In: Informal Proceedings of the 5th International Workshop on HigherOrder Rewriting, HOR-2010, Edinburgh, UK (July 2010) 6-11

    9. Hennessy, M.: The semantics of call-by-value and call-by-name in a nondeterministic environment. SIAM Journal on Computing 9(1) (1980) 67-84

    10. Girard, J.Y.: Linear logic. Theoretical Compututer Science 50 (1987) 1-102

  • Similar Research Results (3)
  • Metrics
Share - Bookmark