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)
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⟩