plt 2024 Lambda calculus is the DNA of all computation 09/07 Lambda calculus can be used to express any computation, but what does it entail? As it turns out first class functions are the single most powerful abstraction.