You will extend the basic calculus with powerful features:

Everything begins with the λ-calculus. Alonzo Church’s tiny language—with only variables, abstraction, and application—is Turing complete. In 15-312, you learn:

Let’s be realistic. This material is abstract and mathematical. Expect: