Communication Dans Un Congrès
Année : 2006
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01352003
Soumis le : vendredi 5 août 2016-10:56:43
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01352003 , version 1
Citer
Thérèse Hardin. Focal: un atelier de construction modulaire de logiciels, fondé sur lísomorphisme de Curry-Howard. Séminaire du LIST, CEA, 2006, Sacaly, France. ⟨hal-01352003⟩
Collections
62
Consultations
0
Téléchargements