## Homotopy Theory in Type Theory

"Homotopy Group"- (1)Dan Licata, (2)Guillaume Brunerie, (3)Peter Lumsdaine

(1)Carnegie Mellon Univ.; Member, School of Math, (2)School of Math., IAS, (3)Dalhousie Univ.; Member, School of Math

April 11, 2013

"Homotopy Group"- (1)Dan Licata, (2)Guillaume Brunerie, (3)Peter Lumsdaine

(1)Carnegie Mellon Univ.; Member, School of Math, (2)School of Math., IAS, (3)Dalhousie Univ.; Member, School of Math

April 11, 2013

Michael Warren

Dalhousie University; Member, School of Mathematics

April 10, 2013

Andre Joyal

University of Quebec at Montreal

April 4, 2013

Bas Spitters

Radboud University Nijmegen; Member, School of Mathematics

April 3, 2013

Steve Awodey

Carnegie Mellon University; Member, School of Mathematics

March 28, 2013

Guillaume Brunerie

School of Mathematics, IAS

March 27, 2013

Noam Zeilberger

IMDEA Software Institute; Member, School of Mathematics

March 22, 2013

Andrej Bauer

University of Ljubljana, Slovenia; Member, School of Mathematics

March 21, 2013

Michael Shulman

University of California, San Diego; Member, School of Mathematics

March 20, 2013

Egbert Rijke

School of Mathematics, IAS

March 14, 2013