[FSS 2025] W3-1 Untyped λ Calculus 1: λ terms, free/bound variables, substitutions, α-equivalence

New channel 松田一孝: title sample judged 'whole' (University-level recorded lectures on mathematical logic, lambda calculus, and Curry-Howard correspondence delivered as ); passed a second screen for sellers/exam-prep/re-uploads; 0 of 3 sampled transcripts showed teaching, 0 not; titles picked one by one, checked strictly; oEmbed verified.

A 38-minute video from 松田一孝: “[FSS 2025] W3-1 Untyped λ Calculus 1: λ terms, free/bound variables, substitutions, α-equivalence”.

Video by 松田一孝, played through YouTube's embedded player.