Title: Fully abstract encodings of lambda-calculus in HOcore through abstract machines
Authors: Malgorzata Biernacka and Dariusz Biernacki and Serguei Lenglet and Piotr Polesiuk and Damien Pous and Alan Schmitt
Journal: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS
Publication type: conference
DOI: 10.1109/LICS.2017.8005118