Adrienne Lancelot, Beniamino Accattoli, Maxime Vemclefs. Barendregt's Theory of the λ-Calculus, Refreshed and Formalized. In Yannick Forster 0001, Chantal Keller, editors, 16th International Conference on Interactive Theorem Proving, ITP 2025, September 28 to October 1, 2025, Reykjavik, Iceland. Volume 352 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Abstract is missing.