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

Luca Cardelli Giuseppe Longo 1, 2 
1 ENS-PSL - École normale supérieure - Paris
2 Département de mathématiques et d'informatique
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

ENS-PARIS | INSMI | PSL

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⟩

Exporter

BibTeX TEI DC DCterms EndNote Datacite

Partager

Métriques

Consultations de la notice

11

logo des bib de l'ENS

Contact
Bibliothèques de l'ENS
45 Rue d'Ulm, 75230
Paris cedex 05, France
acces-ouvert@ens.psl.eu

 logo de l'ENS

Données personnelles | Mentions légales | Conformité RGAA | Accessibilité