Article Dans Une Revue
Information and Computation
Année : 2007
Delia KESNER : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00148539
Soumis le : mardi 22 mai 2007-16:57:34
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : hal-00148539 , version 1
Citer
Delia Kesner, Stéphane Lengrand. Resource Operators for lambda-calculus. Information and Computation, 2007, 205 (4), pp.419-473. ⟨hal-00148539⟩
Collections
37
Consultations
0
Téléchargements