Nombre de documents

13

CV de Alejandro Díaz-Caro


Communication dans un congrès9 documents

  • Alejandro Díaz-Caro, Gilles Dowek. The probability of non-confluent systems. Mauricio Ayala Rincón and Eduardo Bonelli and Ian Mackie. DCM - 9th International Workshop on Developments in Computational Models - 2013, Aug 2013, Buenos Aires, Argentina. 2013. <hal-00919546>
  • Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani. Call-by-value non-determinism in a linear logic type discipline. Sergei Artemov and Anil Nerode. LFCS - Logical Foundations of Computer Science - 2013, Jan 2013, San Diego, CA, United States. Springer, 7734, pp.164-178, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-35722-0_12>. <hal-00919463>
  • Alejandro Díaz-Caro, Gilles Dowek. Non determinism through type isomorphism. Delia Kesner and Petrucio Viana. LSFA - 7th Workshop on Logical and Semantic Frameworks with Applications - 2012, Sep 2012, Rio de Janeiro, Brazil. Open Publishing Association, 113, pp.137-144, 2013, Electronic Proceedings in Theoretical Computer Science. <10.4204/EPTCS.113.13>. <hal-00925001>
  • Alejandro Díaz-Caro, Barbara Petit. Linearity in the non-deterministic call-by-value setting. Luke Ong and Ruy de Queiroz. WoLLIC - 19th International Workshop on Logic, Language, Information and Computation - 2012, Sep 2012, Buenos Aires, Argentina. Springer, 7456, pp.216-231, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-32621-9_16>. <hal-00924992>
  • Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron. A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus. Elham Kashefi and Jean Krivine and Femke van Raamsdonk. DCM - 7th International Workshop on Developments of Computational Methods - 2011, Jul 2011, Zurich, Swaziland. Open Publishing Association, 88, pp.1-15, 2012, Electronic Proceedings in Theoretical Computer Science. <10.4204/EPTCS.88.1>. <hal-00924926>
  • Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff. Confluence via strong normalisation in an algebraic lambda-calculus with rewriting. Simona Ronchi della Rocca and Elaine Pimentel. LSFA - 6th Workshop on Logical and Semantic Frameworks with Applications - 2011, Aug 2011, Belo Horizonte, Brazil. Open Publishing Association, 81, pp.16-29, 2012, Electronic Proceedings in Theoretical Computer Science. <10.4204/EPTCS.81.2>. <hal-00924938>
  • Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron. Equivalence of algebraic λ-calculi. HOR - 5th International Workshop on Higher-Order Rewriting - 2010, Jul 2010, Edinburgh, United Kingdom. pp.6-11, 2010. <hal-00924912>
  • Pablo Arrighi, Alejandro Díaz-Caro. Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. Bob Coecke and Prakash Panangaden and Peter Selinger. QPL 2009 - International Workshop on Quantum Physics and Logic, Apr 2009, Oxford, United Kingdom. Elsevier, 270(2), pp.219-229, 2011, Proceedings of the 6th International Workshop on Quantum Physics and Logic (QPL 2009); Electronic Notes in Theoretical Computer Science (ENTCS). <10.1016/j.entcs.2011.01.033>. <hal-00924890>
  • Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage. Measurements and confluence in quantum lambda calculi with explicit qubits. Bob Coecke and Ian Mackie and Prakash Panangaden and Peter Selinger. QPL/DCM - Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models - 2008, Jul 2008, Reykjavik, Iceland. Elsevier, 270(1), pp.59-74, 2011, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2011.01.006>. <hal-00924875>

Article dans une revue2 documents

Pré-publication, Document de travail2 documents

  • Alejandro Díaz-Caro, Gilles Dowek. Simply Typed Lambda-Calculus Modulo Type Isomorphisms. 2014. <hal-01109104v3>
  • Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron. The Vectorial Lambda-Calculus. Under review. 2013. <hal-00921087>