Lectures related to Substitution (logic)

Explores variable capture in higher-order functions and the importance of variable renaming.

Covers Sequent Calculus with Equality, focusing on atomic formulas and substitution rules.

Covers the basics of predicate calculus, including propositions, formulas, terms, and semantic evaluation.

Discusses integration techniques, focusing on integration by parts and substitution methods, with practical examples and theoretical insights.

Explores higher-order functions, environments, evaluation using substitution, and examples like twice factorial.