Lectures related to Recursion: Understanding Recursive Functions

Recursive Functions: Substitution Interpreter

Covers the implementation of recursive functions using substitutions and environments, showcasing the ability to execute computable functions.

Blocks and Lexical Scopes

Explores nested functions, blocks, visibility rules, and lexical scoping in Scala.

MIPS Assembly: Function Calls & Memory Management

Explores MIPS assembly language, covering function calls, memory management, and data structures, including recursive functions, programming constructs, arrays, and linked lists.

Lambda Calculus: Church Numerals

Explores Church numerals, Booleans, pairs, recursion, and behavioral equivalence in Lambda Calculus.

Von Neumann Extractor: Optimal Binary Extraction Procedure

Covers the von Neumann Extractor, rate computation, and extraction rates.

Records and Variants

Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.

Recursively Defined Sets and Structures

Explores recursively defined sets, natural numbers, strings, functions, and propositional logic formulae.