Functional Programming is with Lambdas (value-level)
Function-level Programming is without Lambdas (function-level)
Function-level Algebra: With the renunciation of lambda variables, an algebra and its rules emerge (if not? –> tell us Issues)
“Can programming be liberated from the von Neumann style?
a functional style and its algebra of programs”, Backus-Turing-Award-Lecture
Oral History of John Backus
Reactions on Grady Boochs instrumentalization of Backus statement
Picture: (cc-by-sa-4.0) Wikipedia