20:54 duration 20 minutes 54 seconds
11.b
The second video of the Inf2d lecture on Unification.
22:38 duration 22 minutes 38 seconds
11.a
The first video of the Inf2d lecture on Unification.