scientific article
From MaRDI portal
Publication:2980972
DOI10.23638/LMCS-13(1:8)2017zbMATH Open1448.68206arXivquant-ph/0612199MaRDI QIDQ2980972FDOQ2980972
Publication date: 8 May 2017
Full work available at URL: https://arxiv.org/abs/quant-ph/0612199
Title of this publication is not available (Why is that?)
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
Quantum computation (81P68) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)
Cites Work
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
- Quantum Computability
- A new universal and fault-tolerant quantum basis
- Quantum computations: algorithms and error correction
- Towards a quantum programming language
- Quantum programming languages: survey and bibliography
- A lambda calculus for quantum computation with classical control
- Title not available (Why is that?)
- Linear logic
- Rapid solution of problems by quantum computation
- Computational interpretations of linear logic
- A complete proof of correctness of the Knuth-Bendix completion algorithm
- The differential lambda-calculus
- On theories with a combinatorial definition of 'equivalence'
- Complete Sets of Reductions for Some Equational Theories
- Quantum complexity theory
- A Lambda Calculus for Quantum Computation
- Finiteness spaces
- Lambda-calculi for (strict) parallel functions
- 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
- A computational definition of the notion of vectorial space
- An algebra of pure quantum programming
- Probabilistic -calculus and Quantitative Program Analysis
- Completion of a Set of Rules Modulo a Set of Equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Linear Combinations of λ-Terms
- The one-way quantum computer--a non-network model of quantum computation
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- Quantum Entanglement Analysis Based on Abstract Interpretation
- Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
Cited In (20)
- Title not available (Why is that?)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- Title not available (Why is that?)
- A concrete model for a typed linear algebraic lambda calculus
- Semantics of quantum programming languages: Classical control, quantum control
- 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
- Title not available (Why is that?)
- A categorical construction for the computational definition of vector spaces
- Title not available (Why is that?)
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- A new connective in natural deduction, and its application to quantum computing
- A new connective in natural deduction, and its application to quantum computing
- Exponentials as substitutions and the cost of cut elimination in linear logic
- A quick overview on the quantum control approach to the lambda calculus
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- Typing Quantum Superpositions and Measurement
- A classical linear \(\lambda\)-calculus
- 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)
