## Maciej Bendkowski

*Towards the Average-Case Analysis of Substitution Resolution in Lambda-Calculus*

FSCD, 2019.

@inproceedings{FSCD-2019-Bendkowski, author = "Maciej Bendkowski", booktitle = "{Proceedings of the Fourth International Conference on Formal Structures for Computation and Deduction}", doi = "10.4230/LIPIcs.FSCD.2019.7", isbn = "978-3-95977-107-8", pages = "21", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{Towards the Average-Case Analysis of Substitution Resolution in Lambda-Calculus}", year = 2019, }