Friedrich Steimann. A Simply Numbered Lambda Calculus. In Ralf Lämmel, Peter D. Mosses, Friedrich Steimann, editors, Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands. Volume 109 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
Abstract is missing.