REVISION BIBLIOGRÁFICA (Artículo Consultado).

Nombre del Estudiante(s): Fecha:

Grupo: Asignatura:

Título del Articulo:  LINEAL: A LINEAR-ALGEBRAIC λ-CALCULUS

Idioma original:  Ingles

 

Autor (res):  Pablo arrighi and gilles dowek

Base de datos de donde fue  Web of science
extraído:

Datos de la publicación:  LOGICAL METHODS IN COMPUTER SCIENCE

Volumen: 13 Número: 1
Número de artículo: 8

DOI: 10.23638/LMCS-13(1:8)2017

Fecha de publicación: 2017

Tipo de documento:Article
Resumen argumentativo (De su Proporcionamos una definición computacional de las nociones de espacio vectorial y
autoría, no menor a veinte Funciones bilineales Usamos este resultado para introducir un lenguaje mínimo que
líneas) combina computación de orden superior y álgebra lineal. Este lenguaje extiende el cálculo
λ con el posibilidad de hacer combinaciones lineales arbitrarias de términos α.t + β.u.
Describimos como para "ejecutar" este lenguaje en términos de algunas reglas de
reescritura, y justificarlas a través de dos requisitos fundamentales para que el lenguaje
sea un lenguaje de operadores lineales, y que sea de orden superior. Mencionamos las
perspectivas de este trabajo en el campo cuántico.
Computación, cuyos circuitos mostramos pueden codificarse fácilmente en el cálculo.
Finalmente nosotros Probar la confluencia de todo el cálculo.
Al fusionar el cálculo λ sin tipo con álgebra lineal, uno se enfrenta a dos
Diferentes problemas En primer lugar, la duplicación simple de un vector es una operación
no lineal a menos que se restrinja a los vectores base y luego se extienda linealmente En
segundo lugar, podemos expresar series de vectores computables pero no obstante
infinitas, produciendo así infinitos y las problemáticas formas indefinidas. Una vez más,
esto se soluciona restringiendo la evaluación de estas formas indefinidas, esta vez a
vectores normales. Ambos problemas aparecen cuando se observa la confluencia del
cálculo λ lineal-algebraico. La arquitectura de la prueba de confluencia parece adecuada
para cualquier sistema de reescritura no trivial que tenga tanto álgebra lineal como algunos
infinitos como ingredientes clave. Además, la prueba de confluencia implica un resultado
de no clonación para Lineal, de acuerdo con la linealidad de la física cuántica.
Según su criterio en que radica El presente artículo busca expresar series de vectores computables pero no obstante
la innovación del presente infinitos, por lo tanto Produciendo algunos infinitos y las problemáticas formas indefinidas.
artículo teniendo en cuenta los Aquí nuevamente esto se arregla, restringiendo la evaluación de estas formas indefinidas,
antecedentes/ estado del arte. esta vez a vectores normales. la duplicación simple de un vector es una operación no lineal
a menos que se restrinja a los vectores base y luego se extienda linealmente. teniendo en
cuenta a (P. Arrighi, G. Dowek, una definición computacional de la noción de espacio
vectorial)
Estilo de las referencias S. Abramsky, Computational Interpretations of Linear Logic, Theoretical Computer Science,
bibliográficas: 111, 3–57,
(1993).
 [2] S. Abramsky, B. Coecke, A categorical semantics of quantum protocols LICS, IEEE
Enuncie las 5 referencias Computer Society,
bibliográficas más relevantes 415-425, (2004).
en el presente artículo y [3] L. Adleman, J. DeMarrais, M. Huang, Quantum Computability, SIAM J. on Comp., 26, 5,
justifique. 1524-1540,
(1997).
[4] T. Altenkirch, J. Grattage, J.K. Vizzotto, A. Sabry, An Algebra of Pure Quantum
Programming,
Third International Workshop on Quantum Programming Languages, Electronic Notes of
Theoretical
Computer Science, 170C, 23-47, (2007).
[5] P. Arrighi, G. Dowek, A computational definition of the notion of vector space, ENTCS
117, 249-261,
(2005).