TY  - CONF

T1  - Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings

JO  - Proceedings of the ACM on Programming Languages

UR  - https://doi.org/10.1145/3704893

PY  - 2025/01/09

AU  - van Brügge J

AU  - McKinna J

AU  - Popescu A

AU  - Traytel D

ED  - 

DO  - DOI: 10.1145/3704893

PB  - Association for Computing Machinery (ACM)

VL  - 9

IS  - POPL

SP  - 1687

EP  - 1718

Y2  - 2025/02/05

ER  -