Presenté el paper "Typing quantum superpositions and measurement", coautoreado con Gilles Dowek, y 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 desde arXiv).
Les dejo una fotito de Praga.
Muchas gracias por compartir la presentación.
ResponderBorrar