Lambda calculus

Formal sciences
Theoretical computer science
Programming language theory
Formal semantics

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 3 of 4

Higher-Order Functions: Lambda

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

Python Complement: Numpy, Scipy, Matplotlib

Covers advanced Python topics like numpy operations, scipy linear algebra, and matplotlib for creating figures.

Programming by Flows: Temperature Conversion

Demonstrates temperature conversion from Fahrenheit to Celsius using Java streams and lambda expressions.

Python Modules and Pandas

Introduces Python modules, scoping, lambdas, and pandas for data manipulation and analysis.

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.

Scopes and Lambdas: Data Science with Python

Covers scopes, lambdas, and pandas in data science with Python, including nested declarations, scoping, assignments, and pandas manipulation.

Lambda Functions: Examples

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

Python Basics: Functions and Lists

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

Logical Formulas and Types: Understanding the Kerry Howard Isomorphism

Explores the Kerry Howard Isomorphism, translating logical propositions into types and terms, with a focus on proof by induction and exam preparation.

Subtyping and Type Calculus

Explores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.