Article Dans Une Revue
Theoretical Computer Science
Année : 2004
Patrick Baillot : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00084611
Soumis le : vendredi 7 juillet 2006-18:58:53
Dernière modification le : vendredi 24 mars 2023-14:52:47
Dates et versions
Identifiants
- HAL Id : hal-00084611 , version 1
Citer
Patrick Baillot. Type inference for light affine logic via constraints on words.. Theoretical Computer Science, 2004, 328(3), pp.289-323. ⟨hal-00084611⟩
Collections
40
Consultations
0
Téléchargements