Lectures related to Substructural type system

Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.

Explores thermodynamics principles, enthalpy, reactions, and Hess's law in chemical systems.

Covers pointers to strings, functions, and casting in C programming.

Covers type rules, program type checking, soundness, and proof techniques.

Covers chemical thermodynamics, state functions, enthalpy, spontaneous processes, and limitations of the first law.