Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Typed lambda calculus

Related lectures (32)

Church Numerals and Conditionals

Explores Church numerals and encoding conditionals in lambda calculus.

Lambda Calculus: Church Numerals

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

Type Checking and Reconstruction: Equations and Unification

Delves into type checking, reconstruction, equations, unification, Hindley/Milner system, polymorphism, and principal types.

Lambda Calculus: Syntax and Abstractions

Introduces terms, abstractions, applications, and values in the lambda calculus.

Semantics in Computer Language Processing: Understanding Meaning

Covers the semantics of programming languages, focusing on the Add language and the role of rewriting rules and CK machines in understanding meaning.

Encoding Recursion as Self-Application

Explores lambda calculus, higher-order functions, and recursive function encoding.

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.

Dependent Types in Programming Languages

Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.

Types in Lambda Calculus

Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.

Functional Programming in Python

Covers functional programming concepts in Python, showcasing filtering lists based on specific criteria.

Lambda Calculus: Operational Semantics and Evaluation Strategies

Covers operational semantics and evaluation strategies in lambda calculus, including redex, alternative evaluation strategies, and Church Booleans.

Programming by Flows: Temperature Conversion

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

Higher-Order Functions: Lambda

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

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.

Lambda Functions in Java

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

Lambda Calculus and Type Safety: An Overview Log in to Mediaspace to watch this video

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Pen-and-paper session: Lambda Calculus Proofs Log in to Mediaspace to watch this video

Delves into Lambda Calculus proofs, emphasizing structural induction and variable manipulation.

Simply Typed Lambda Calculus: Foundations and Properties Log in to Mediaspace to watch this video

Covers the simply typed lambda calculus, focusing on its syntax, semantics, and type system properties such as progress and preservation.