A Simply Numbered Lambda Calculus

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

Abstract is missing.