Full Abstraction for Probabilistic PCF

Thomas Ehrhard; Michele Pagani; Christine Tasson

doi:10.1145/3164540

Article Dans Une Revue Journal of the ACM (JACM) Année : 2018

Full Abstraction for Probabilistic PCF

(1) , (1) , (2)

1
2

Thomas Ehrhard

Fonction : Auteur
PersonId : 742157
IdHAL : thomas-ehrhard
ORCID : 0000-0001-5231-5504
IdRef : 132983664

Institut de Recherche en Informatique Fondamentale

Michele Pagani

Fonction : Auteur

Institut de Recherche en Informatique Fondamentale

Christine Tasson

Fonction : Auteur
PersonId : 865456

Preuves, Programmes et Systèmes

Domaines

Logique en informatique [cs.LO]

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 : dimanche 9 juillet 2023-12:45:53

Dates et versions

hal-02346086 , version 1 (04-11-2019)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 CNRS USPC UP-SCIENCES IRIF

7 Consultations

0 Téléchargements

Full Abstraction for Probabilistic PCF

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager