A todo aquel que le interesen los lenguajes de programación que se están desarrollando para la computación cuántica, les recomiendo el -bastante exhaustivo- review de Simon J. Gay: Quantum Programming Languages: Survey and Bibliography[1]
Además, en su página pueden encontrar un buscador de papers sobre el tema.
Ref:
[1] Mathematical Structures in Computer Science 16(4), 2006
Blog sobre computación cuántica y fundamentos de las ciencias de la computación. En general cubrimos los temas de investigación a los que nosotros nos dedicamos, los cuales comenzaron siendo computación cuántica, y con el tiempo van evolucionando, cambiando, agregando nuevas áreas, etc.
28 de junio de 2007
17 de junio de 2007
Lambda Cálculo Cuántico
El viernes pasado dí una charla sobre el Lambda Cálculo Cuántico definido por André van Tonder[1] como parte de un ciclo de charlas sobre programación funcional organizadas por el Dr. Pablo E. Martínez López (a.k.a. Fidel).
Dejo las transparencias para quien quiera ver un poco de qué se trata (y también la versión para imprimir), aunque por supuesto, recomiendo recurrir a la fuente.
Ref.
[1] André van Tonder, "A Lambda Calculus for Quantum Computation". SIAM J. Comput. 33, 5 (May. 2004), 1109-1135. (preprint en arXiv)
Dejo las transparencias para quien quiera ver un poco de qué se trata (y también la versión para imprimir), aunque por supuesto, recomiendo recurrir a la fuente.
Ref.
[1] André van Tonder, "A Lambda Calculus for Quantum Computation". SIAM J. Comput. 33, 5 (May. 2004), 1109-1135. (preprint en arXiv)
Suscribirse a:
Entradas (Atom)