plt2024Lambda calculus is the DNA of all computation09/07Lambda 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.