Spiritus Asper versus Lambda: On the Nature of Functional Abstraction

Klev, A.
Notre Dame J. Formal Logic 64 (2) 205 - 223, May 2023.