From Type Theory to Morphologic Complexity

A Colloquium in Honor of Giuseppe Longo, 28-29 juin 2007
Programme