The vectorial \(\lambda\)-calculus
From MaRDI portal
Publication:529049
DOI10.1016/j.ic.2017.04.001zbMath1370.68045arXiv1308.1138OpenAlexW21537352MaRDI QIDQ529049
Alejandro Díaz-Caro, Benoît Valiron, Pablo Arrighi
Publication date: 18 May 2017
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1308.1138
Related Items (6)
Typing Quantum Superpositions and Measurement ⋮ A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls ⋮ Extensional proofs in a propositional logic modulo isomorphisms ⋮ A concrete model for a typed linear algebraic lambda calculus ⋮ Unnamed Item ⋮ A concrete categorical semantics of lambda-\(\mathcal{S}\)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A relational semantics for parallelism and non-determinism in a functional setting
- Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings
- Adding algebraic rewriting to the untyped lambda calculus
- Lambda-calculi for (strict) parallel functions
- The differential lambda-calculus
- Intersection and union types: Syntax and semantics
- Nondeterministic extensions of untyped \(\lambda\)-calculus
- Non-idempotent intersection types and strong normalisation
- A System F accounting for scalars
- Probabilistic operational semantics for the lambda calculus
- Linearity in the Non-deterministic Call-by-Value Setting
- Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus
- Linearity, Non-determinism and Solvability
- Probabilistic -calculus and Quantitative Program Analysis
- Quantitative Types for the Linear Substitution Calculus
- Call-by-Value Non-determinism in a Linear Logic Type Discipline
- A Polymorphic Type System for the Lambda-Calculus with Constructors
- The algebraic lambda calculus
- The λ-calculus with constructors: Syntax, confluence and separation
- Completion of a Set of Rules Modulo a Set of Equations
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
- A Lambda Calculus for Quantum Computation
- Intersection Types from a Proof-theoretic Perspective
- Typing Quantum Superpositions and Measurement
This page was built for publication: The vectorial \(\lambda\)-calculus