Arrêt de service lundi 11 juillet de 12h30 à 13h : tous les sites du CCSD (HAL, EpiSciences, SciencesConf, AureHAL) seront inaccessibles (branchement réseau à modifier)
Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

A semantic basis for Quest

Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03316279
Contributeur : UAR 3608 République des savoirs Connectez-vous pour contacter le contributeur
Soumis le : vendredi 6 août 2021 - 13:38:34
Dernière modification le : vendredi 10 juin 2022 - 15:54:01

Identifiants

  • HAL Id : hal-03316279, version 1

Collections

Citation

Luca Cardelli, Giuseppe Longo. A semantic basis for Quest. Journal of Functional Programming, Cambridge University Press (CUP), 1991, 1 (4), pp.417-458. ⟨hal-03316279⟩

Partager

Métriques

Consultations de la notice

11