22 de marzo de 2013

Tipos vectoriales, no-determinismo y sistemas probabilísticos: Hacia una lógica cuántica computacional

Les dejo los slides de una charla que di ayer en una jornada de cuántica en Nancy. Lo que presento es en general mi tema de investigación, la diferencia con mi charla anterior, es que el público aquí eran mayormente informáticos especialistas en computación cuántica, mientras la charla anterior estaba destinada a matemáticos sin conocimientos en computación cuántica. Por lo tanto, aquí doy algunos detalles más (ya que no tuve que introducir el tema, ni explicar qué es lambda-cálculo).


Aquí les dejo también el link directo al PDF