Concept
Lambda calculus
Related lectures (53)
High-Order Functions: Unification Theory
Covers high-order functions, parser, and type checker concepts.
Lambdas: introduction
Introduces lambdas in Java, focusing on sorting with Comparator interface.
Functional Programming in Python
Covers functional programming concepts in Python, showcasing filtering lists based on specific criteria.
Avoiding Variable Capture
Explores variable capture in higher-order functions and the importance of variable renaming.
Monetary Policy and Public Debt Analysis
Analyzes monetary and fiscal policy responses to public debt accumulation and the impact of Covid-19 on global economies.
Small Open Economy Modeling
Explores small open economy modeling, including Lagrangian formulation, borrowing constraints, and impulse response plotting in MATLAB.
Lambda Calculus: Operational Semantics and Evaluation Strategies
Covers operational semantics and evaluation strategies in lambda calculus, including redex, alternative evaluation strategies, and Church Booleans.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Stochastic Endowment Consumption Model
Covers the stochastic endowment consumption model, log-linear transformation, impulse response solution, and Matlab codes.
Python Complement: Numpy, Scipy, Matplotlib
Covers advanced Python topics like numpy operations, scipy linear algebra, and matplotlib for creating figures.