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

Navigation

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

Kazushige Terui (National Institute of Informatics, Tokyo)

from 1/9/2007 to 28/2/2008, visiting researcher position (CNRS)
Tuesday 25 September 2007. (English|English)
 
http://research.nii.ac.jp/ terui/