Communication Dans Un Congrès
Année : 2006
Daniele Varacca : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00148935
Soumis le : mercredi 23 mai 2007-17:54:53
Dernière modification le : vendredi 19 avril 2024-16:18:55
Dates et versions
Identifiants
- HAL Id : hal-00148935 , version 1
Citer
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca. Encoding CDuce in the Cpi-Calculus. 2006, pp.310-326. ⟨hal-00148935⟩
31
Consultations
0
Téléchargements