scientific article; zbMATH DE number 6712184
From MaRDI portal
Publication:2980972
Recommendations
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- A classical linear \(\lambda\)-calculus
- A linearization of the Lambda-calculus and consequences
- scientific article; zbMATH DE number 1231511
- Linearization of the lambda-calculus and its relation with intersection type systems
- Infinitary lambda calculi from a linear perspective
- Linear axiomatics of commutative product-free Lambek calculus
- A Terminating and Confluent Linear Lambda Calculus
- A type system for the vectorial aspect of the linear-algebraic lambda-calculus
- The algebraic lambda calculus
Cites work
- scientific article; zbMATH DE number 2043521 (Why is no real title available?)
- scientific article; zbMATH DE number 1512615 (Why is no real title available?)
- scientific article; zbMATH DE number 3019695 (Why is no real title available?)
- A Lambda Calculus for Quantum Computation
- A complete proof of correctness of the Knuth-Bendix completion algorithm
- A computational definition of the notion of vectorial space
- A lambda calculus for quantum computation with classical control
- A new universal and fault-tolerant quantum basis
- Adding algebraic rewriting to the untyped lambda calculus
- An algebra of pure quantum programming
- Complete Sets of Reductions for Some Equational Theories
- Completion of a Set of Rules Modulo a Set of Equations
- Computational interpretations of linear logic
- Finiteness spaces
- Lambda-calculi for (strict) parallel functions
- Linear logic
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- On Linear Combinations of λ-Terms
- On theories with a combinatorial definition of 'equivalence'
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
- Probabilistic -calculus and Quantitative Program Analysis
- Quantum Computability
- Quantum Entanglement Analysis Based on Abstract Interpretation
- Quantum complexity theory
- Quantum computations: algorithms and error correction
- Quantum programming languages: survey and bibliography
- Rapid solution of problems by quantum computation
- Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
- The differential lambda-calculus
- The one-way quantum computer--a non-network model of quantum computation
- Towards a quantum programming language
Cited in
(35)- scientific article; zbMATH DE number 7559395 (Why is no real title available?)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- scientific article; zbMATH DE number 7559280 (Why is no real title available?)
- A concrete model for a typed linear algebraic lambda calculus
- A linear proof language for second-order intuitionistic linear logic
- Semantics of quantum programming languages: Classical control, quantum control
- Call-by-value, call-by-name and the vectorial behaviour of the algebraic -calculus
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- Extensional proofs in a propositional logic modulo isomorphisms
- A type system for the vectorial aspect of the linear-algebraic lambda-calculus
- A categorical construction for the computational definition of vector spaces
- scientific article; zbMATH DE number 5241986 (Why is no real title available?)
- scientific article; zbMATH DE number 4099290 (Why is no real title available?)
- A linear linear lambda-calculus
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- The sup connective in IMALL: a categorical semantics
- Factorize factorization
- A computational definition of the notion of vectorial space
- Enriching a linear/non-linear lambda calculus: a programming language for string diagrams
- A new connective in natural deduction, and its application to quantum computing
- A new connective in natural deduction, and its application to quantum computing
- Mirroring call-by-need, or values acting silly
- Exponentials as substitutions and the cost of cut elimination in linear logic
- An algebraic extension of intuitionistic linear logic: the \(\mathcal{L}_!^{\mathcal{S}}\)-calculus and its categorical model
- Combining quantum and classical control: syntax, semantics and adequacy
- Realizability in the unitary sphere
- Towards a computational quantum logic. An overview of an ongoing research program
- A rewriting theory for quantum -calculus
- A quick overview on the quantum control approach to the lambda calculus
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- A classical linear \(\lambda\)-calculus
- Typing Quantum Superpositions and Measurement
- Linear lambda-calculus is linear
- The vectorial \(\lambda\)-calculus
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980972)
