Items where authors include "van Brügge, J."

Proceedings Paper

van Brügge, J., McKinna, J., Popescu, A. orcid.org/0000-0001-8747-0619 et al. (1 more author) (2025) Barendregt convenes with Knaster and Tarski: strong rule induction for syntax with bindings. In: Hicks, M., (ed.) Proceedings of the ACM on Programming Languages. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 14-20 Jan 2024, London, United Kingdom. Association for Computing Machinery (ACM) , pp. 1687-1718.