2 courses · 23 lessons
Lambda Calculus
The foundation of computation. Learn to read and reduce lambda expressions, build booleans, numbers, and lists from pure functions, then go under the hood: evaluation strategies, Scott encodings, and continuation-passing style.
Explore courses →4 courses · 25 lessons
Term Functor Logic
A modern algebraic approach to Aristotelian logic. Master the plus-minus sign algebra, categorical forms, and syllogisms, then extend the language to compound statements, relations, and identity.
Explore courses →