## Inernal Languages for Higher Toposes

Michael Shulman

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

October 3, 2012

Michael Shulman

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

October 3, 2012

Matthieu Sozeau

INRIA Paris; Member, School of Mathematics

October 3, 2012

Peter Lumsdaine

Dalhousie University; Member, School of Mathematics

October 1, 2012

Mark McLean

Massachusetts Institute of Technology; Member, School of Mathematics

October 1, 2012

Or Meir

Stanford University; Member, School of Mathematics

October 1, 2012

Jelani Nelson

Institute for Advanced Study; Member, School of Mathematics

October 1, 2012

Stefan Patrikis

Princeton University; Member, School of Mathematics

October 1, 2012

Sivaguru Ravisankar

The Ohio State University; Member, School of Mathematics

October 1, 2012

Michael Lesnick

Stanford University; Member, School of Mathematics

September 28, 2012

Daniel Licata

Carnegie Mellon University; Member, School of Mathematics

September 28, 2012