The vectorial \(\lambda\)-calculus (Q529049): Difference between revisions

@@ Property / arXiv ID @@
+.1138
@@ Property / arXiv ID: 1308.1138 / rank @@
+Normal rank
@@ Property / cites work @@
+The λ-calculus with constructors: Syntax, confluence and separation
+Normal rank
@@ Property / cites work @@
+A System F accounting for scalars
@@ Property / cites work: A System F accounting for scalars / rank @@
+Normal rank
@@ Property / cites work @@
+Q4986659
@@ Property / cites work: Q4986659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849867
@@ Property / cites work: Q2849867 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2980972
@@ Property / cites work: Q2980972 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus
+Normal rank
@@ Property / cites work @@
+Intersection and union types: Syntax and semantics
+Normal rank
@@ Property / cites work @@
+Non-idempotent intersection types and strong normalisation
+Normal rank
@@ Property / cites work @@
+Lambda-calculi for (strict) parallel functions
@@ Property / cites work: Lambda-calculi for (strict) parallel functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447223
@@ Property / cites work: Q4447223 / rank @@
+Normal rank
@@ Property / cites work @@
+A relational semantics for parallelism and non-determinism in a functional setting
+Normal rank
@@ Property / cites work @@
+Q5858674
@@ Property / cites work: Q5858674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769430
@@ Property / cites work: Q2769430 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4993853
@@ Property / cites work: Q4993853 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic extensions of untyped \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Probabilistic  -calculus and Quantitative Program Analysis
+Normal rank
@@ Property / cites work @@
+Q4994968
@@ Property / cites work: Q4994968 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing Quantum Superpositions and Measurement
@@ Property / cites work: Typing Quantum Superpositions and Measurement / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-Value Non-determinism in a Linear Logic Type Discipline
+Normal rank
@@ Property / cites work @@
+Linearity in the Non-deterministic Call-by-Value Setting
+Normal rank
@@ Property / cites work @@
+Adding algebraic rewriting to the untyped lambda calculus
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228473
@@ Property / cites work: Q4228473 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508299
@@ Property / cites work: Q4508299 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Quantitative Types for the Linear Substitution Calculus
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic operational semantics for the lambda calculus
+Normal rank
@@ Property / cites work @@
+Linearity, Non-determinism and Solvability
@@ Property / cites work: Linearity, Non-determinism and Solvability / rank @@
+Normal rank
@@ Property / cites work @@
+A Polymorphic Type System for the Lambda-Calculus with Constructors
+Normal rank
@@ Property / cites work @@
+Intersection Types from a Proof-theoretic Perspective
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
+Normal rank
@@ Property / cites work @@
+Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings
+Normal rank
@@ Property / cites work @@
+A Lambda Calculus for Quantum Computation
@@ Property / cites work: A Lambda Calculus for Quantum Computation / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic lambda calculus
@@ Property / cites work: The algebraic lambda calculus / rank @@
+Normal rank