Videos

Video — Small Step Semantics
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — The Church-Rosser Property
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Unification
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Hoare Semantics
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Loop Invariants
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Monotype Semantics
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Polytype Semantics
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Prolog
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Prolog's Cut Operator
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Variables
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022