## Barry Jay

*A simpler lambda calculus*

PEPM, 2019.

@inproceedings{PEPM-2019-Jay, author = "Barry Jay", booktitle = "{Proceedings of the 24th Workshop on Partial Evaluation and Program Manipulation}", doi = "10.1145/3294032.3294085", isbn = "978-1-4503-6226-9", pages = "1--9", publisher = "{ACM}", title = "{A simpler lambda calculus}", year = 2019, }