Lectures related to Logical Formulas and Types: Understanding the Kerry Howard Isomorphism

Propositional Logic: Translations and Equivalences

Covers translating natural language to propositional logic and proving tautologies.

Type Checking and Reconstruction: Equations and Unification

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

Variables, Objects, Types

Introduces variables, objects, and types in Python, emphasizing the significance of object mutability and its implications when passing objects to functions.

Harmonic Functions: Properties and Mollification

Covers the properties of harmonic functions and the concept of mollification.

The Label of Edges: Set

Explores edge labels, skills like aggregation and deduction, and the structure of contents.

Predicate Logic: Quantifiers and Equivalences

Explores predicate logic, covering quantifiers, equivalences, and translations from natural language.

Isomorphism Criterion of Coverings

Covers the isomorphism of coverings and the lifting theory.