Précédent : Collaboration avec la TU de Remonter : Actions régionales, nationales et internationales Suivant : Diffusion de résultats
Précédent : Collaboration avec la TU de
Remonter : Actions régionales, nationales et internationales
Suivant : Diffusion de résultats
Participants :
Luigi Liquori.
Luigi Liquori travaille avec Giuseppe Castagna, de l'ENS de Paris, sur un langage à délégation fondé sur le calcul de Fisher, Honsell et Mitchell avec vérification de type décidable.