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)
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.
Wooooow!!!!
ResponderBorrarEstaba investigando y caí acá... Nunca imaginé que hubiera un blog dedicado a la Computación Cuántica... ¡Caramba!!!!
Salu2
Hoy en día hay blogs sobre cualquier tema que te interese :)
ResponderBorrarMirá a la derecha (bajo el título "Otros Weblogs") y vas a ver links a muchísimos otros blogs sobre Computación Cuántica.
Salu2
Simplemente impresionante, gracias por compartirlo salu2
ResponderBorrar