On October 2nd 2020, at 10.00 a.m CEST, I presented my licentiate thesis, titled:
Practical Unification for Dependent Type Checking
An electronic version is available for download.
Matthieu Sozeau from INRIA was the discussion leader.
The seminar took place in Room 8103, in the EDIT building (Campus Johanneberg), in Gothenburg, and online on Zoom.