@inproceedings{biernacka:hal-01479035, TITLE = {{Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines}}, AUTHOR = {Biernacka, Malgorzata and Biernacki, Dariusz and Lenglet, Sergue{\"i} and Polesiuk, Piotr and Pous, Damien and Schmitt, Alan}, URL = {https://inria.hal.science/hal-01479035}, BOOKTITLE = {{LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science}}, ADDRESS = {Reykjavik, Iceland}, SERIES = {Proceedings of LICS 2017}, YEAR = {2017}, MONTH = Jun, DOI = {10.1109/LICS.2017.8005118}, KEYWORDS = {Encoding ; Calculus ; Syntactics ; Semantics ; Magnetic heads ; Communication channels ; Interference}, PDF = {https://inria.hal.science/hal-01479035/file/lics.pdf}, HAL_ID = {hal-01479035}, HAL_VERSION = {v1}, }