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

Navigation

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

Martin Hofmann (LMU Munich)

du 12/02 au 03/03/2007, puis 3->8/09/2007.
vendredi 22 décembre 2006. (français)
 
http://www.tcs.informatik.uni-muenc...