Peter LeFanu Lumsdaine: Progress report: formalising semantics of type theory in type theory.
Tid: On 2015-02-25 kl 10.00 - 11.45
Plats: Room 16, House 5, Kräftriket, Department of Mathematics, Stockholm University
Medverkande: Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University