TY  - RPRT
TI  - Towards the average-case analysis of substitution resolution in $λ$-calculus
AU  - Maciej Bendkowski
PY  - 2018
UR  - https://arxiv.org/abs/1812.04452
ID  - 1812.04452
ER  -