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

Abstract : 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.
Type de document :
Communication dans un congrès
LICS 2017, Jun 2017, Reykjavik, Iceland. Proceedings of LICS 2017
Liste complète des métadonnées

https://hal.inria.fr/hal-01479035
Contributeur : Sergueï Lenglet <>
Soumis le : mardi 28 février 2017 - 15:47:32
Dernière modification le : mercredi 16 mai 2018 - 11:24:13
Document(s) archivé(s) le : lundi 29 mai 2017 - 15:39:26

Fichier

lics.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01479035, version 1

Citation

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, Jun 2017, Reykjavik, Iceland. Proceedings of LICS 2017. 〈hal-01479035〉

Partager

Métriques

Consultations de la notice

1199

Téléchargements de fichiers

88