@techreport{biernacka:hal-01507625, 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-01507625}, TYPE = {Research Report}, NUMBER = {RR-9052}, INSTITUTION = {{Inria}}, YEAR = {2017}, MONTH = Apr, KEYWORDS = {abstract machines ; process calculi ; higher-order ; lambda-calculus ; machines abstraites ; ordre sup{\'e}rieur ; lambda-calcul ; calculs de processus}, PDF = {https://inria.hal.science/hal-01507625/file/RR-9052.pdf}, HAL_ID = {hal-01507625}, HAL_VERSION = {v1}, }