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

Home

Lecture

Simply Typed Lambda Calculus: Foundations and Properties

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (35)

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.

Introduction to Coq: Arithmetic Expressions and Evaluators Log in to Mediaspace to watch this video

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Big-step semantics: Defining arithmetic expressions and commands Log in to Mediaspace to watch this video

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Hoare Logic: Foundations and Applications Log in to Mediaspace to watch this video

Covers Hoare Logic, its foundations, applications, and significance in program verification.

Inductive Propositions: Reasoning and Evaluation Techniques Log in to Mediaspace to watch this video

Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.

Polymorphism in Coq: Data Structures and Functions Log in to Mediaspace to watch this video

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.

Inductive Propositions: Understanding Evaluation in Coq Log in to Mediaspace to watch this video

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Effective Altruism: AI Safety and Governance Log in to Mediaspace to watch this video

Covers effective altruism in AI safety, focusing on programming semantics and memory management.

Language Theory into Practice Log in to Mediaspace to watch this video

Explores the practical application of language theory, including quicksort, gradual typing, and efficient memory management, as well as the challenges of reduction program synthesis.

Variables and Types: Introduction to C Programming Log in to Mediaspace to watch this video

Introduces the fundamentals of variables and types in C programming, covering declaration, initialization, and the differences from Java.

Variables & Operators Log in to Mediaspace to watch this video

Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.

Operators and Expressions: Programming in C Log in to Mediaspace to watch this video

Explains operators and expressions in C, focusing on arithmetic, comparison, and logical operations.

Introduction to C Programming Log in to Mediaspace to watch this video

Covers the basics of C programming, including syntax, data types, pointers, arrays, and compilation commands.

Quantum Chemistry: Lecture Series Log in to Mediaspace to watch this video

Series covers spherical coordinates, harmonics, Legendre polynomials, and angular momentum.

GlobalViewer Enterprise: System Configuration and Management Log in to Mediaspace to watch this video

Covers the configuration and management of the GlobalViewer Enterprise system.

Page 2 of 2