Peter LeFanu Lumsdaine: Progress report: formalising semantics of type theory in type theory.
Time: Wed 2015-02-25 10.00 - 11.45
Location: Room 16, House 5, Kräftriket, Department of Mathematics, Stockholm University
Participating: Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University