Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
- Biernacka, Małgorzata
- Biernacki, Dariusz
- Lenglet, Sergueï
- Polesiuk, Piotr
- Pous, Damien
- Schmitt, Alan
Publication date
June 2017
DOI Publisher
Institute of Electrical and Electronics Engineers (IEEE)Abstract
International audienceWe 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
Add to ORKG