Communication Dans Un Congrès
Année : 2007
Claudia Faggian : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00150425
Soumis le : mercredi 30 mai 2007-14:41:36
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : hal-00150425 , version 1
Citer
Claudia Faggian, Mauro Piccolo. Ludics is a model for the finitary linear Pi-calculus. TLCA 07 - Typed Lambda Calculi and Applications, 2007, France. 15 p. ⟨hal-00150425⟩
Collections
14
Consultations
0
Téléchargements