M. Alberti, Normal forms for the algebraic lambda-calculus, Journées francophones des langages applicatifs, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00779911

T. Altenkirch and J. J. Grattage, A Functional Quantum Programming Language, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), pp.249-258, 2005.
DOI : 10.1109/LICS.2005.1

URL : http://sneezy.cs.nott.ac.uk/qml/compiler/jjg-thesis.pdf

A. Arbiser, A. Miquel, and A. Ríos, The ??-calculus with constructors: Syntax, confluence and separation, Journal of Functional Programming, vol.19, issue.05, pp.581-631, 2009.
DOI : 10.1145/1034774.1034775

URL : https://hal.archives-ouvertes.fr/hal-00800559

P. Arrighi and A. Díaz-caro, A System F accounting for scalars, Logical Methods in Computer Science, vol.19, issue.5, 2012.
DOI : 10.1017/S0960129509990089

URL : https://hal.archives-ouvertes.fr/hal-00924944

P. Arrighi, A. Díaz-caro, and B. Valiron, A type system for the vectorial aspects of the linearalgebraic lambda-calculus, 7th International Workshop on Developments of Computational Methods of Electronic Proceedings in Theoretical Computer Science, pp.1-15, 2011.

P. Arrighi and G. Dowek, A Computational Definition of the Notion of Vectorial Space, Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications of Electronic Notes in Computer Science, pp.249-261, 2004.
DOI : 10.1016/j.entcs.2004.06.013

URL : https://hal.archives-ouvertes.fr/hal-00940931

P. Arrighi and G. Dowek, Lineal: A linear-algebraic lambda-calculus, Logical Methods in Computer Science, vol.13, issue.18, 2017.
URL : https://hal.archives-ouvertes.fr/hal-00919625

A. Assaf, A. Díaz-caro, S. Perdrix, C. Tasson, and B. Valiron, Call-by-value, call-by-name and the vectorial behaviour of the algebraic ????-calculus, Logical Methods in Computer Science, vol.10, issue.4, 2014.
DOI : 10.2168/LMCS-10(4:8)2014

URL : https://hal.archives-ouvertes.fr/hal-01097602

F. Barbanera, M. Dezani-ciancaglini, and U. De-'liguoro, Intersection and Union Types: Syntax and Semantics, Information and Computation, vol.119, issue.2, pp.202-230, 1995.
DOI : 10.1006/inco.1995.1086

URL : https://doi.org/10.1006/inco.1995.1086

H. P. Barendregt, Lambda-calculi with types. Vol. II of Handbook of Logic in Computer Science, 1992.
DOI : 10.1017/cbo9781139032636

A. Bernadet and S. J. Lengrand, Non-idempotent intersection types and strong normalisation, Logical Methods in Computer Science, vol.9, issue.4, 2013.
DOI : 10.2168/LMCS-9(4:3)2013

URL : https://hal.archives-ouvertes.fr/hal-00906778

G. Boudol, Lambda-Calculi for (Strict) Parallel Functions, Information and Computation, vol.108, issue.1, pp.51-127, 1994.
DOI : 10.1006/inco.1994.1003

URL : https://hal.archives-ouvertes.fr/inria-00075174

O. Bournez and M. Hoyrup, Rewriting Logic and Probabilities, Proceedings of RTA-2003, pp.61-75, 2003.
DOI : 10.1007/3-540-44881-0_6

URL : https://hal.archives-ouvertes.fr/inria-00099620

A. Bucciarelli, T. Ehrhard, and G. Manzonetto, A relational semantics for parallelism and non-determinism in a functional setting, Annals of Pure and Applied Logic, vol.163, issue.7, pp.918-934, 2012.
DOI : 10.1016/j.apal.2011.09.008

URL : https://hal.archives-ouvertes.fr/hal-00707776

P. Buiras, A. Díaz-caro, and M. Jaskelioff, Confluence via strong normalisation in an algebraic ??-calculus with rewriting, 6th Workshop on Logical and Semantic Frameworks with Applications of Electronic Proceedings in Theoretical Computer Science, pp.16-29, 2011.
DOI : 10.1017/S0960129509990089

URL : https://hal.archives-ouvertes.fr/hal-00924938

H. Cirstea, C. Kirchner, and L. Liquori, The Rho Cube, Proceedings of FOSSACS-2001, pp.168-183, 2001.
DOI : 10.1007/3-540-45315-6_11

URL : https://hal.archives-ouvertes.fr/inria-00107877

D. Benedetti, E. Ronchi-della-rocca, and S. , Bounding normalization time through intersection types, Proceedings of Sixth Workshop on Intersection Types and Related Systems, pp.48-57, 2012.
DOI : 10.1007/978-3-642-12032-9_25

U. De-'liguoro and A. Piperno, Non deterministic extensions of untyped ?-calculus, Information and Computation, vol.122, issue.2, pp.149-177, 1995.

D. Pierro, A. Hankin, C. Wiklicky, and H. , Probabilistic ??-calculus and Quantitative Program Analysis, Journal of Logic and Computation, vol.15, issue.2, pp.159-179, 2005.
DOI : 10.1093/logcom/exi008

A. Díaz-caro, Barendregt's proof of subject reduction for ?2 Accessible online on http, 2011.

A. Díaz-caro and G. Dowek, The probability of non-confluent systems, Proceedings of the 9th International Workshop on Developments in Computational Models of Electronic Proceedings in Theoretical Computer Science, pp.1-15, 2014.
DOI : 10.1017/S0960129509990089

A. Díaz-caro and G. Dowek, Simply typed lambda-calculus modulo type isomorphisms, p.1109104, 2017.

A. Díaz-caro and G. Dowek, Typing Quantum Superpositions and??Measurement, 2017.
DOI : 10.1017/S0960129514000425

A. Díaz-caro, G. Manzonetto, and M. Pagani, Call-by-Value Non-determinism in a Linear Logic Type Discipline, International Symposium on Logical Foundations of Computer Science, pp.164-178, 2013.
DOI : 10.1007/978-3-642-35722-0_12

A. Díaz-caro and B. Petit, Linearity in the Non-deterministic Call-by-Value Setting, 19th International Workshop on Logic, Language, Information and Computation, pp.216-231, 2012.
DOI : 10.1007/978-3-642-32621-9_16

D. J. Dougherty, Adding algebraic rewriting to the untyped lambda calculus, Information and Computation, vol.101, issue.2, pp.251-267, 1992.
DOI : 10.1016/0890-5401(92)90064-M

URL : https://doi.org/10.1016/0890-5401(92)90064-m

T. Ehrhard, A Finiteness Structure on Resource Terms, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.402-410, 2010.
DOI : 10.1109/LICS.2010.38

URL : https://hal.archives-ouvertes.fr/hal-00448431

T. Ehrhard and L. Regnier, The differential lambda-calculus, Theoretical Computer Science, vol.309, issue.1-3, pp.1-41, 2003.
DOI : 10.1016/S0304-3975(03)00392-X

URL : https://hal.archives-ouvertes.fr/hal-00150572

J. Girard, Y. Lafont, and P. Taylor, of Cambridge Tracts in Theoretical Computer Science, Proofs and Types, vol.7, 1989.

L. K. Grover, A fast quantum mechanical algorithm for database search, Proceedings of the twenty-eighth annual ACM symposium on Theory of computing , STOC '96, pp.212-219, 1996.
DOI : 10.1145/237814.237866

URL : http://infidel.c.u-tokyo.ac.jp/~ysato/seminar/grover.ps.gz

O. M. Herescu and C. Palamidessi, Probabilistic Asynchronous ??-Calculus, Proceedings of FOSSACS-2000, pp.146-160, 2000.
DOI : 10.1007/3-540-46432-8_10

URL : http://www.cse.psu.edu/~catuscia/papers/Prob_asy_pi/fossacs.ps

J. Jouannaud and H. Kirchner, Completion of a Set of Rules Modulo a Set of Equations, SIAM Journal on Computing, vol.15, issue.4, pp.1155-1194, 1986.
DOI : 10.1137/0215084

D. Kesner and D. Ventura, Quantitative Types for the Linear Substitution Calculus, Theoretical Computer Science. Lecture Notes in Computer Science, vol.8705, pp.296-310, 2014.
DOI : 10.1007/978-3-662-44602-7_23

URL : https://hal.archives-ouvertes.fr/hal-01402078

J. Krivine, Lambda-calcul: Types et Modèles, 1990.

U. D. Lago and M. Zorzi, Probabilistic operational semantics for the lambda calculus, RAIRO - Theoretical Informatics and Applications, vol.46, issue.3, pp.413-450, 2012.
DOI : 10.1051/ita/2012012

URL : https://hal.archives-ouvertes.fr/hal-00909373

M. Pagani and S. Ronchi-della-rocca, Linearity, non-determinism and solvability, Fundamental Informaticae, vol.103, pp.1-4, 2010.

B. Petit, A Polymorphic Type System for the Lambda-Calculus with Constructors, Proceedings of TLCA-2009, pp.234-248, 2009.
DOI : 10.1007/978-3-540-71389-0_23

E. Pimentel, S. Ronchi-della-rocca, and L. Roversi, Intersection Types from a Proof-theoretic Perspective, Fundamenta Informaticae, vol.121, pp.1-4, 2012.

P. W. Shor, Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer, SIAM Journal on Computing, vol.26, issue.5, pp.1484-1509, 1997.
DOI : 10.1137/S0097539795293172

URL : http://arxiv.org/pdf/quant-ph/9508027

C. Tasson, Algebraic Totality, towards Completeness, 9th International Conference on Typed Lambda Calculi and Applications, pp.325-340, 2009.
DOI : 10.1007/978-3-540-73449-9_28

URL : https://hal.archives-ouvertes.fr/hal-00440750

B. Valiron, Orthogonality and algebraic lambda-calculus, Proceedings of the 7th International Workshop on Quantum Physics and Logic, pp.169-175, 2010.

A. Van-tonder, A Lambda Calculus for Quantum Computation, SIAM Journal on Computing, vol.33, issue.5, pp.1109-1135, 2004.
DOI : 10.1137/S0097539703432165

L. Vaux, The algebraic lambda calculus, Mathematical Structures in Computer Science, vol.12, issue.05, pp.1029-1059, 2009.
DOI : 10.1016/S0304-3975(03)00392-X

URL : https://hal.archives-ouvertes.fr/hal-00379750