Type Theory @ Prater Sauna Vienna 7.2.20. Part 1

Type Theory