Los slides de mi presentación en APLAS los pueden ver aquí:
SlideShare.
Presenté el paper "
A lambda calculus for density matrices with classical and probabilistic controls", del cual les comenté en
este post. El paper ya fue publicado en
Lecture Notes in Computer Science (y pueden bajar una versión gratuita, corregida y con todas las pruebas, desde
arXiv).
Además, aproveché y llevé un poster del paper, en colaboración con Gilles Dowek, que voy a presentar en TPNC dentro de dos semanas y comenté en
este post: "
Typing quantum superpositions and measurement". Acá les dejo el
poster, y el paper por ahora sólo lo pueden bajar de
arXiv (actualizaré el post cuando aparezca en Lecture Notes in Computer Science, lo que debería ser muy pronto, y luego de la conferencia con los slides que use para presentarlo).
Les dejo una pequeña postal de Suzhou, China, donde de llevó a cabo APLAS.
