Lambda Calculus

Operational Semantics: Adding Variables, Functions and Conditionals

Extend a simple arithmetic language with variables, functions, and conditionals. Learn about environments, closures, and lexical scoping in operational semantics.

A Beginner's Guide to Functional Programming with OCaml

Learn functional programming through OCaml, from lambda calculus foundations to practical programs. Covers immutability, pattern matching, recursion, and higher-order functions.