Algunas novedades

Bueno, hace mucho que no escribo nada por acá, así que comentaré un poco en qué ando.

• El paper del Scalar Type System lo ampliamos bastante con todas las demostraciones y detalles y estamos a punto de enviarlo a la revista Theoretical Computer Science. Pronto subiré la versión extendida. Aquí está.
• Estuve trabajando en agregar subtyping al Vectorial Type System con Barbara Petit a quién visité hace unos meses y también haciendo muchos cambios a ese sistema de tipos.
• El 18 de Mayo fui a visitar al grupo LAMA en Chambéry, donde dí una charla acerca de este sistema de tipos.
• En agosto voy a Toronto, Canadá a una escuela de verano: Canadian Quantum Information Summer School, lo cual me genera muchas expectativas ya que espero poder ampliar un poco el panorama y tomar algún otro tema en paralelo con el que estoy desarrollando (para no quedarme estancado sólo con esto).

Bueno, esto es un resumen de los últimos meses, ya que he tenido bastante abandonado el blog. Dentro de poco estaré subiendo la versión extendida de Scalar al arXiv (ni bien la enviemos al journal) y pondré un link por aquí (arxiv:0903.3741), y a mi vuelta de Canadá, comentaré un poco de la escuela.

Vectorial, Lógica Lineal y Ortogonalidad

El miércoles y jueves pasados estuve en Lyon, invitado por Barbara Petit del grupo PLUME de la École Normale Supérieure de Lyon. Allí di un seminario sobre los sistemas de tipos que he desarrollado: Scalar, Additive y Vectorial, y algunos de los problemas sobre cómo chequear ortogonalidad entre términos y algunas pistas para resolverlo.

Olivier Laurent se dio cuenta de simplemente ver la presentación, la conexión entre Additive y Intuitionistic Multiplicative Exponential Linear Logic.

Pronto estaré publicando un nuevo paper sobre Additive (con esa conexión a la lógica lineal) y Vectorial. Además, hemos empezado a trabajar juntos con Barbara en el problema de la ortogonalidad, usando subtyping.

Próximos viajes:
Los días 4 y 5 de Mayo voy a París a visitar a Benoît Valiron y Gilles Dowek del proyecto TypiCal, en la École Polytechnique de París, donde daré otro seminario. Luego, el 18 de Mayo estaré en Chambery, donde iremos con mi director, Pablo Arrighi, a participar de una serie de seminarios organizados por Lionel Vaux del grupo LAMA.