Skip to main content

Erik Palmgren: Progress report on formailzing categories with attributes in type theory

Time: Wed 2015-06-03 10.00 - 11.45

Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university

Export to calendar

This talk is a complement to the talk by Peter LeFanu Lumsdaine earlier this term on a joint project with him and Håkon Gylterud.