Article Dans Une Revue
Journal of the ACM (JACM)
Année : 2018
Thomas Ehrhard : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02346086
Soumis le : lundi 4 novembre 2019-17:48:15
Dernière modification le : mercredi 30 octobre 2024-19:43:14
Dates et versions
Identifiants
- HAL Id : hal-02346086 , version 1
- ARXIV : 1511.01272
- DOI : 10.1145/3164540
Citer
Thomas Ehrhard, Michele Pagani, Christine Tasson. Full Abstraction for Probabilistic PCF. Journal of the ACM (JACM), 2018, 65 (4), pp.1-44. ⟨10.1145/3164540⟩. ⟨hal-02346086⟩
Collections
13
Consultations
0
Téléchargements