Article Dans Une Revue
Journal of Functional Programming
Année : 1991
UAR 3608 République des savoirs : Connectez-vous pour contacter le contributeur
https://hal-ens.archives-ouvertes.fr/hal-03316279
Soumis le : vendredi 6 août 2021-13:38:34
Dernière modification le : vendredi 10 juin 2022-15:54:01
Dates et versions
Identifiants
- HAL Id : hal-03316279 , version 1
Citer
Luca Cardelli, Giuseppe Longo. A semantic basis for Quest. Journal of Functional Programming, 1991, 1 (4), pp.417-458. ⟨hal-03316279⟩
13
Consultations
0
Téléchargements