The Vectorial $\lambda$-Calculus

Article, Preprint English OPEN
Arrighi, Pablo; Díaz-Caro, Alejandro; Valiron, Benoît;
(2017)
  • Publisher: Elsevier
  • Related identifiers: doi: 10.1016/j.ic.2017.04.001
  • Subject: [ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO] | [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] | Computer Science - Logic in Computer Science
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS

International audience; We describe a type system for the linear-algebraic lambda-calculus. The type system accounts for the linear-algebraic aspects of this extension of lambda-calculus: it is able to statically describe the linear combinations of terms that will be ob... View more
  • References (17)
    17 references, page 1 of 2

    [1] Alberti, M., 2013. Normal forms for the algebraic lambda-calculus. In: Pous, D., Tasson, C. (Eds.), Journ´ees francophones des langages applicatifs (JFLA 2013). Aussois, France. URL http://hal.inria.fr/hal-00779911

    [2] Altenkirch, T., Grattage, J. J., 2005. A functional quantum programming language. In: 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005). IEEE Computer Society, pp. 249-258.

    [3] Arbiser, A., Miquel, A., R´ıos, A., 2009. The λ-calculus with constructors: Syntax, confluence and separation. Journal of Functional Programming 19 (5), 581-631.

    [4] Arrighi, P., D´ıaz-Caro, A., 2012. A System F accounting for scalars. Logical Methods in Computer Science 8 (1:11).

    [5] Arrighi, P., D´ıaz-Caro, A., Valiron, B., 2012. A type system for the vectorial aspects of the linearalgebraic lambda-calculus. In: Kashefi, E., Krivine, J., van Raamsdonk, F. (Eds.), 7th International Workshop on Developments of Computational Methods (DCM 2011). Vol. 88 of Electronic Proceedings in Theoretical Computer Science. Open Publishing Association, pp. 1-15.

    [6] Arrighi, P., Dowek, G., 2008. Linear-algebraic lambda-calculus: higher-order, encodings, and confluence. In: Voronkov, A. (Ed.), 19th International Conference on Rewriting Techniques and Applications (RTA 2008). Vol. 5117 of Lecture Notes in Computer Science. Springer, pp. 17-31.

    [7] Barendregt, H. P., 1992. Lambda-calculi with types. Vol. II of Handbook of Logic in Computer Science. Oxford University Press.

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

    [9] Bournez, O., Hoyrup, M., 2003. Rewriting logic and probabilities. In: Nieuwenhuis, R. (Ed.), Proceedings of RTA-2003. Vol. 2706 of Lecture Notes in Computer Science. Springer, pp. 61-75.

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

  • Similar Research Results (3)
  • Related Organizations (5)
  • Metrics
Share - Bookmark