@inproceedings{inproceedings, title = {{Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings}}, publisher = {{Association for Computing Machinery (ACM)}}, url = {{https://doi.org/10.1145/3704893 }}, year = {{2025}}, month = {{1}}, author = {{van Br眉gge J and McKinna J and Popescu A and Traytel D}}, doi = {{10.1145/3704893}}, volume = {{9}}, journal = {{Proceedings of the ACM on Programming Languages}}, issue = {{POPL}}, pages = {{1687-1718}}, note = {{Accessed on 2025/05/26}}}