From Type Theory to Morphologic Complexity
A Colloquium in Honor of Giuseppe Longo, 28-29 juin 2007
Programme
Centre d’Archives en Philosophie, Histoire et Édition des Sciences – UAR 3610
A Colloquium in Honor of Giuseppe Longo, 28-29 juin 2007
Programme