Scalar system F for linear-algebraic lambda-calculus: towards a quantum physical logic

Pablo Arrighi Alejandro D\'ıaz-Caro 2011 Scalar system F for linear-algebraic lambda-calculus: towards a quantum physical logic Bob Coecke Prakash Panangaden Peter Selinger Proceedings of QPL-2009 Electronic Notes in Theoretical Computer Science 270/2 Elsevier 219–229 10.1016/j.entcs.2011.01.033 http://arxiv.org/abs/0903.3741 Pablo Arrighi Alejandro D\'ıaz-Caro Beno^ıt Valiron 2011 A type system for the vectorial aspects of the linear-algebraic lambda-calculus Proceedings of the 7th International Workshop on Developments of Computational Methods (DCM 2011)

Zurich, Switzerland

http://membres-liglab.imag.fr/diazcaro/vectorial.pdf To appear in EPTCS Pablo Arrighi Gilles Dowek 2008 Linear-algebraic lambda-calculus: higher-order, encodings, and confluence Andrei Voronkov Proceedings of RTA-2008 Lecture Notes in Computer Science 5117 Springer 17–31 10.1007/978-3-540-70590-1_2 http://arxiv.org/abs/quant-ph/0612199 Henk P. Barendregt 1992 Lambdar-calculi with types Handbook of Logic in Computer Science II Oxford University Press Alejandro Díaz-Caro Simon Perdrix Christine Tasson Benoît Valiron 2010 Equivalence of Algebraic λ-calculi Informal Proceedings of the 5th International Workshop on Higher-Order Rewriting, HOR-2010

Edinburgh, UK

6–11 http://arxiv.org/abs/1005.2897 Alejandro D\'ıaz-Caro Barbara Petit 2010 Sums in linear algebraic lambda-calculus http://arxiv.org/abs/1011.3542 Submitted Thomas Ehrhard 2003 On Köthe sequence spaces and linear logic Mathematical Structures in Computer Science 12 5 579–623 10.1017/S0960129502003729 Thomas Ehrhard 2005 Finiteness spaces Mathematical Structures in Computer Science 15 4 615–646 10.1017/S0960129504004645 Thomas Ehrhard 2010 A Finiteness Structure on Resource Terms Proceedings of LICS-2010 IEEE Computer Society 402–410 10.1109/LICS.2010.38 http://arxiv.org/abs/1001.3219 Thomas Ehrhard Laurent Regnier 2003 The differential lambda-calculus Theoretical Computer Science 309 1 1–41 10.1016/S0304-3975(03)00392-X Jean-Yves Girard Yves Lafont Paul Taylor 1989 Proofs and Types Cambridge Tracts in Theoretical Computer Science 7 Cambridge University Press http://www.paultaylor.eu/stable/Proofs+Types.html Jean-Louis Krivine 1990 Lambda-calcul: types et modèles Études et recherches en informatique Masson Michele Pagani Simona Ronchi Della Rocca 2010 Solvability in Resource Lambda Calculus Luke Ong Proceedings of FOSSACS-2010 Lecture Notes in Computer Science 6014 Springer 358–373 10.1007/978-3-642-12032-9_25 Michele Pagani Paolo Tranquilli 2009 Parallel Reduction in Resource Lambda-Calculus Zhenjiang Hu Proceedings of APLAS-2009 Lecture Notes in Computer Science 5904 Springer 226–242 10.1007/978-3-642-10672-9_17 John C. Reynolds 1974 Towards a theory of type structure B. Robinet Proceedings of the Colloque sur la Programmation Lecture Notes in Computer Science 19 Springer 408–425 10.1007/3-540-06859-7_148 http://repository.cmu.edu/compsci/1290 Christine Tasson 2009 Algebraic totality, towards completeness Pierre-Louis Curien Proceedings of TLCA-2009 Lecture Notes in Computer Science 5608 Springer 325–340 10.1007/978-3-642-02273-9_24 http://arxiv.org/abs/0912.2349 TeReSe 2003 Term Rewriting Systems Cambridge Tracts in Theoretical Computer Science 55 Cambridge University Press Lionel Vaux 2007 On Linear Combinations of λ-Terms Franz Baader Proceedings of RTA-07 Lecture Notes in Computer Science 4533 Springer 374–388 10.1007/978-3-540-73449-9_28 http://hal.archives-ouvertes.fr/hal-00383896 Lionel Vaux 2009 The algebraic lambda calculus Mathematical Structures in Computer Science 19 5 1029–1059 10.1017/S0960129509990089 http://hal.archives-ouvertes.fr/hal-00379750