Author:
Arrighi Pablo,Díaz-Caro Alejandro
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference36 articles.
1. Pablo Arrighi and Gilles Dowek. A computational definition of the notion of vectorial space. In Narciso Martí-Oliet, editor,Proceedings of WRLA-2004, volume 117 ofElectronic Notes in Theoretical Computer Science, pages 249-261. Elsevier, 2004.
2. Pablo Arrighi and Gilles Dowek. Linear-algebraic lambda-calculus: higher-order, encodings, and confluence. In Andrei Voronkov, editor,Proceedings of RTA-2008, volume 5117 ofLecture Notes in Computer Science, pages 17-31. Springer, 2008.
3. Pablo Arrighi and Alejandro Díaz-Caro. Scalar System F for linear-algebraiclambda-calculus: Towards a quantum physical logic. In Bob Coecke, Prakash Panangaden, and Peter Selinger, editors,Proceedings of QPL-2009, volume 270/2 ofElectronic Notes in Theoretical Computer Science, pages 219-229. Elsevier, 2011.
4. Pablo Arrighi, Alejandro Díaz-Caro, and Benoit Valiron. A type system for the vectorial aspects of the linear-algebraic lambda-calculus. InProceedings of the 7th International Workshop on Developments of Computational Methods (DCM 2011), Zurich, Switzerland, 2011. To appear in EPTCS. Draft at http://www.diaz-caro.info/vectorial.pdf.
5. The λ-calculus with constructors: Syntax, confluence and separation
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献