Typed lambda calculus

Formal sciences
Theoretical computer science
Programming language theory
Type theory

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Explores higher-order functions and lambda expressions in Python, showcasing their practical applications and concise syntax.

Monetary Policy and Household Decisions

Explores household optimization, monetary policy impact, and price flexibility in the New Keynesian model.

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.

Lambda Functions: Examples

Explores lambda functions in Java through practical examples and the consumer interface.

Lambdas: introduction

Introduces lambdas in Java, focusing on sorting with Comparator interface.

Python Basics: Functions and Lists

Introduces Python basics, functions, lists, and lambda functions for concise coding.

Stochastic Endowment Consumption Model

Covers the stochastic endowment consumption model, log-linear transformation, impulse response solution, and Matlab codes.

Lambda Functions in Java

Covers lambda functions in Java, focusing on sorting algorithms implementation.

Labor Income Share

Analyzes a macroeconomic model focusing on labor income share and the effects of productivity shocks on GDP, consumption, investment, and stock prices.

Macroeconomic Model Analysis

Explores the impact of productivity shocks and government policies on key economic variables.

Designing Calculi: Strong Normalization and Error Handling

Covers strong normalization, error handling, and typing rules for Calculi design.

Investment Model

Covers the investment model, including steady state, budget constraints, and stable eigenvalues.

Page 2 of 2