Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
van Brügge, Jan
McKinna, James
Popescu, Andrei
and
Traytel, Dmitriy
2025.
Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings.
Proceedings of the ACM on Programming Languages,
Vol. 9,
Issue. POPL,
p.
1687.