Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Toccata
TYPES

Contrat europeen
Sept. 2004 - Avril 2008

Equipe : Toccata
Responsable : PAULIN-MOHRING Christine

Gestionnaire : 
Organisme gérant : Université Paris XI

Types for Proofs and Programs

Types for Proofs and Programs

Activités de recherche

Membres LRI


Pour en savoir plus : http://www.cs.chalmers.se/Cs/Research/Logic/Types/
Contrats
° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF