Small-step operational semantics (An introduction)
15:50
Big-step operational semantics (An introduction)
30:10
L15: Small Step Semantics of IfArith
18:35
An introduction to the lambda calculus
16:47
An introduction to type systems
57:48
El Arte del Software: Una Guía Fascinante desde la Programación hasta la Ética - Breve Historia
18:20
An introduction to denotational semantics
33:47
System F and type extensions
1:05:09