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)

3 comentarios:

  1. Wooooow!!!!

    Estaba investigando y caí acá... Nunca imaginé que hubiera un blog dedicado a la Computación Cuántica... ¡Caramba!!!!

    Salu2

    ResponderBorrar
  2. Hoy en día hay blogs sobre cualquier tema que te interese :)
    Mirá 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

    ResponderBorrar
  3. Simplemente impresionante, gracias por compartirlo salu2

    ResponderBorrar