Lambda Calculus: Syntax and Abstractions

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (39)

Lambda Calculus: Church Numerals

Explores Church numerals, Booleans, pairs, recursion, and behavioral equivalence in 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.

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.

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Lambda Calculus: Operational Semantics and Evaluation Strategies

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

Algorithms & Growth of Functions

Covers optimization algorithms, stable matching, and Big-O notation for algorithm efficiency.

Type Checking and Reconstruction: Equations and Unification

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

Differentiating under the integral sign

Explores differentiating under the integral sign and continuity of functions in integrals.

Types in Lambda Calculus

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

Foundations of Software

Covers the basics of induction, syntax, abstract vs. concrete syntax, and operational semantics for Booleans.

Differential Forms on Manifolds

Introduces differential forms on manifolds, covering tangent bundles and intersection pairings.

Church Numerals and Conditionals

Explores Church numerals and encoding conditionals in lambda calculus.

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.

Python Programming: Control Structures and Functions

Covers advanced topics in Python programming, focusing on control structures and functions.

Encoding Recursion as Self-Application

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

Understanding Microcontrollers: Functions

Introduces the fundamentals of functions in microcontroller programming, emphasizing naming rules and step-by-step development.

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.

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.

Python Programming: List Comprehensions and Higher Order Functions Log in to Mediaspace to watch this video

Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.

Weak Derivatives: Definition and Properties Log in to Mediaspace to watch this video

Covers weak derivatives, their properties, and applications in functional analysis.

Page 1 of 2