Projet NO CoST
New tools for complexity: semantics and types
Nouveaux outils pour la complexité : sémantique et types

Navigation

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Ugo Dal Lago

Du 9 mai au 31 octobre 2006, post-doc de l’université Paris 13.
mercredi 11 janvier 2006. (français|English)
 
http://www.cs.unibo.it/~dallago/