Typed lambda calculus

Typed lambda calculus is like a set of math rules that are used to express how computer programs work. It is like a very specific way of telling a computer what to do, and the computer can use it to figure out what to do in a certain situation. It is a bit like a puzzle, in that it allows us to use these rules (like pieces in a puzzle) to connect the pieces and create something new. By doing this we can create complex computer programs.