27 de diciembre de 2017

Slides TPNC


Los slides de mi presentación en TPNC los pueden ver aquí: SlideShare.
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.