Lectures related to Coated paper

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

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

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

Covers syntax and typing rules in programming languages, discussing aliasing, mutability, and store locations.

Introduces terms, abstractions, applications, and values in the lambda calculus.

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.

Covers the basics of induction, syntax, abstract vs. concrete syntax, and operational semantics for Booleans.