SICSA CSE: Scottish Category Theory Seminar

Date(s) - 04/03/2015
2:00 pm - 5:00 pm

Room 1415, Livingstone Tower, University of Strathclyde

A HoTT-Date With Thorsten Altenkirch
Date: Wednesday 4 March, 2pm
Location: Room 1415, Livingstone Tower, 26 Richmond Street, Glasgow G1 1XH.

14.00 Thorsten Altenkirch: Higher Inductive Types
15.00 Fredrik Nordvall Forsberg: Presentations of mutually defined types (including HITs)
15.30 Three Dimensional Coffee
16.00 James McKinna: Using relations to streamline the encode-decode method?
16.30 Neil Ghani: Higher Dimensional Parametricity via Cubical Categories
17.00 Bob Atkey: A Cubical Set Model for Relationally Parametric Type Theory

This entry was posted in .