237 posts
janusdc

@janusdc

twitter.com/janusdc
Grenoble, France – PhD Student at Université de Grenoble (Topic: Lambda Calculus, Quantum Computing, Type Theory)

237 Posts by janusdc

Computación Cuántica: Escuela en Lenguajes Formales

computacioncuantica.blogspot.com/2012/05/escuela-en-lenguajes-formales.html

Great way to share files (and following my invitation, you make me earn more free space) :)

db.tt/0jP7Js2

Computación Cuántica: Mini-reporte de TAMC'12

computacioncuantica.blogspot.com/2012/05/mini-reporte-de-tamc12.html

Computación Cuántica: Linearidad en Lineal vs Linearidad en Lógica Lineal

computacioncuantica.blogspot.com/2012/05/linearidad-en-lineal-vs-linearidad-en.html

Una vez más, Clarín miente", Comunicación oficial acerca del bastón presidencial Por Oscar Parrilli #fb

prensa.argentina.ar/2012/04/28/30198-una-vez-mas-...acion-oficial-acerca-del-baston-presidencial.php

«Il est temps de reconnaître que l'immigration est bénéfique»

liberation.fr/societe/01012400151-il-est-temps-de-reconnaitre-que-l-immigration-est-benefique

Computación Cuántica: Non determinism through type isomorphism

computacioncuantica.blogspot.com/2012/04/non-determinism-through-type.html

Actualizado el post sobre el curso introductorio a topología de Raúl Kantor (UNR). Últimos videos agregados al post:

computacioncuantica.blogspot.fr/2011/03/curso-introductorio-topologia-1ra-clase.html

Dada a largada pública para o WECIQ 2012, visitem o site oficial do evento em e compartilhem!

giq.ufc.br/weciq2012/

WECIQ 2012

computacioncuantica.blogspot.com/2012/04/weciq-2012.html
Page 1 of 20
  • share this profile on Twitter
  • rss subscribe to this profile