Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines - Université de Rennes Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

Résumé

We present fully abstract encodings of the call-by-name λ-calculus into HOcore, a minimal higher-order process calculus with no name restriction. We consider several equivalences on the λ-calculus side—normal-form bisimilarity, applica-tive bisimilarity, and contextual equivalence—that we internalize into abstract machines in order to prove full abstraction.
Fichier principal
Vignette du fichier
lics.pdf (361.14 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01479035 , version 1 (28-02-2017)

Identifiants

Citer

Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, et al.. Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines. LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩. ⟨hal-01479035⟩
602 Consultations
422 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More