Lecture
Logical Formulas and Types: Understanding the Kerry Howard Isomorphism
Related lectures (36)
Lambda Calculus and Type Safety: An Overview
Provides an overview of lambda calculus, type safety, and type inference in programming languages.
Proofs and Logic: Introduction
Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.
Lambda Calculus: Syntax and Abstractions
Introduces terms, abstractions, applications, and values in the lambda calculus.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Sobolev Spaces in Higher Dimensions
Explores Sobolev spaces in higher dimensions, discussing derivatives, properties, and challenges with continuity.
Discrete Mathematics: Logic, Structures, Algorithms
Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.
Advanced Analysis I: Cauchy-Schwarz Inequality
Explores the Cauchy-Schwarz inequality in integrals and functions, offering a comprehensive understanding of its applications.
Discrete Mathematics: Logic, Structures, Algorithms
Covers the basics of discrete mathematics, including logic, structures, and algorithms.
Harmonic Forms and Riemann Surfaces
Explores harmonic forms on Riemann surfaces, covering uniqueness of solutions and the Riemann bilinear identity.
Analysis IV: Measurable Sets and Properties
Covers the concept of outer measure and properties of measurable sets.