Lectures related to Paper mill

Covers constructing a dynamical theory for nanoparticle systems, conservation equations, and transport phenomena.

Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.

Explores forestry management, wood growth, sustainability, and the utilization of wood in ski production.

Explores Church numerals, Booleans, pairs, recursion, and behavioral equivalence in Lambda Calculus.

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

Covers preservation, substitution, weakening, and sequencing in type systems.

Investigates coiling patterns of thin elastic rods on rigid substrates, emphasizing natural curvature's role in pattern formation.