The vectorial λ-calculus
暂无分享,去创建一个
[1] J. Krivine. Lambda-calcul : types et modèles , 1990 .
[2] Gilles Dowek,et al. Simply Typed Lambda-Calculus Modulo Type Isomorphisms , 2015, ArXiv.
[3] Lionel Vaux. The algebraic lambda calculus , 2009, Math. Struct. Comput. Sci..
[4] Jonathan Grattage. A functional quantum programming language , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
[5] Lov K. Grover. A fast quantum mechanical algorithm for database search , 1996, STOC '96.
[6] Pablo Arrighi,et al. A System F accounting for scalars , 2009, 0903.3741.
[7] Barbara Petit. A Polymorphic Type System for the Lambda-Calculus with Constructors , 2009, TLCA.
[8] Hélène Kirchner,et al. Completion of a Set of Rules Modulo a Set of Equations , 1986, SIAM J. Comput..
[9] Gilles Dowek,et al. Typing Quantum Superpositions and Measurement , 2016, TPNC.
[10] Antonio Bucciarelli,et al. A relational semantics for parallelism and non-determinism in a functional setting , 2012, Ann. Pure Appl. Log..
[11] Gilles Dowek,et al. Linear-algebraic lambda-calculus: higher-order, encodings, and confluence , 2008, RTA.
[12] Ugo de'Liguoro,et al. Non deterministic extensions of untyped-calculus , 1995 .
[13] Peter W. Shor,et al. Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..
[14] Daniel J. Dougherty. Adding Algebraic Rewriting to the Untyped Lambda Calculus , 1992, Inf. Comput..
[15] Stéphane Lengrand,et al. Non-idempotent intersection types and strong normalisation , 2013, Log. Methods Comput. Sci..
[16] Simon Perdrix,et al. Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus , 2014, Log. Methods Comput. Sci..
[17] Olivier Bournez,et al. Rewriting Logic and Probabilities , 2003, RTA.
[18] Michele Alberti. Normal Forms for the Algebraic Lambda-Calculus , 2013 .
[19] J. Girard,et al. Proofs and types , 1989 .
[20] Alejandro D'iaz-Caro,et al. A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus , 2010 .
[21] Christine Tasson. Algebraic Totality, towards Completeness , 2009, TLCA.
[22] Gilles Dowek,et al. Lineal: A linear-algebraic Lambda-calculus , 2017, Log. Methods Comput. Sci..
[23] Gilles Dowek,et al. The probability of non-confluent systems , 2013, DCM.
[24] Simona Ronchi Della Rocca,et al. Bounding normalization time through intersection types , 2012, ITRS.
[25] Delia Kesner,et al. Quantitative Types for the Linear Substitution Calculus , 2014, IFIP TCS.
[26] Thomas Ehrhard. A Finiteness Structure on Resource Terms , 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
[27] Laurent Regnier,et al. The differential lambda-calculus , 2003, Theor. Comput. Sci..
[28] Ugo de'Liguoro,et al. Non Deterministic Extensions of Untyped Lambda-Calculus , 1995, Inf. Comput..
[29] Samson Abramsky,et al. Handbook of logic in computer science. , 1992 .
[30] Richard Statman,et al. Lambda Calculus with Types , 2013, Perspectives in logic.
[31] Chris Hankin,et al. Probabilistic λ-calculus and Quantitative Program Analysis , 2004 .
[32] Giulio Manzonetto,et al. Call-by-Value Non-determinism in a Linear Logic Type Discipline , 2013, LFCS.
[33] Alejandro Díaz-Caro,et al. Linearity in the Non-deterministic Call-by-Value Setting , 2012, WoLLIC.
[34] Mariangiola Dezani-Ciancaglini,et al. Intersection and Union Types: Syntax and Semantics , 1995, Inf. Comput..
[35] Elaine Pimentel,et al. Intersection Types from a Proof-theoretic Perspective , 2012, Fundam. Informaticae.
[36] Catuscia PalamidessiDept. Probabilistic Asynchronous -calculus ? , 2000 .
[37] Gilles Dowek,et al. A computational definition of the notion of vectorial space , 2004, WRLA.
[38] Claude Kirchner,et al. The Rho Cube , 2001, FoSSaCS.
[39] Gilles Dowek,et al. Quantum superpositions and projective measurement in the lambda calculus , 2016, ArXiv.
[40] Michele Pagani,et al. Linearity, Non-determinism and Solvability , 2010, Fundam. Informaticae.
[41] André van Tonder,et al. A Lambda Calculus for Quantum Computation , 2003, SIAM J. Comput..
[42] Benoı̂t Valiron. Orthogonality and Algebraic Lambda-Calculus , 2010 .
[43] Catuscia Palamidessi,et al. Probabilistic Asynchronous pi-Calculus , 2000, FoSSaCS.
[44] Ugo Dal Lago,et al. Probabilistic operational semantics for the lambda calculus , 2011, RAIRO Theor. Informatics Appl..
[45] Gérard Boudol,et al. Lambda-Calculi for (Strict) Parallel Functions , 1994, Inf. Comput..