An introduction to denotational semantics
15:50
Big-step operational semantics (An introduction)
31:09
Lecture "Operational Semantics (Part 1, Preliminaries)" of "Program Analysis"
2:20:36
Denotational Design: From Meanings To Programs • Conal Elliott • YOW! 2015
1:27:04
Formal semantics and pragmatics: Origins, issues, impact
41:40
"Categories for the Working Hacker" by Philip Wadler
13:07
Small-step operational semantics (An introduction)
18:35
An introduction to the lambda calculus
57:30