Article Dans Une Revue
Journal of Logical and Algebraic Methods in Programming
Année : 2015
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03189818
Soumis le : lundi 5 avril 2021-09:25:45
Dernière modification le : lundi 29 janvier 2024-14:51:02
Citer
Jean Goubault-Larrecq. Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases. Journal of Logical and Algebraic Methods in Programming, 2015, 84 (1), pp.155-184. ⟨10.1016/j.jlamp.2014.09.003⟩. ⟨hal-03189818⟩
Collections
32
Consultations
0
Téléchargements