Paper: Fully abstract encodings of λ-calculus in HOcore through abstract machines (at LICS 2017)
Authors: Malgorzata Biernacka Dariusz Biernacki Sergueï Lenglet Piotr Polesiuk Damien Pous Alan Schmitt
Abstract
No Abstract Available
BibTeX
@InProceedings{BiernackaBiernackiL-Fullyabstractencodi, author = {Malgorzata Biernacka and Dariusz Biernacki and Sergueï Lenglet and Piotr Polesiuk and Damien Pous and Alan Schmitt}, title = {Fully abstract encodings of λ-calculus in HOcore through abstract machines}, booktitle = {Proceedings of the Thirty second Annual IEEE Symposium on Logic in Computer Science (LICS 2017)}, year = {2017}, month = {June}, pages = {1--12}, location = {Reykjavik}, publisher = {IEEE Computer Society Press} }