Type Theory @ Prater Sauna Vienna 7.2.20.

Type Theory @ Prater Sauna Vienna 7.2.20. Part 1

Type Theory @ Prater Sauna 7.2.20. Part 2