Skip to main content
Toggle navigation menu

Schools menu

  • Historical Studies
  • Mathematics
  • Natural Sciences
  • Social Science

  • Campus Resources
  • Library
  • Dining

Utility menu

  • Campus Resources
  • Friends

Group Nav

  • About Toggle About submenu
    • Welcome
    • Mission & History
    • Director
    • Board of Trustees
    • Administration
    • Libraries & Archives
    • Publications
    • Videos
    • Campus & Lands
    • Maps & Directions
    • FAQs
    • Albert: IAS Repository
  • Ideas
  • Schools Toggle Schools submenu
    • Historical Studies
    • Mathematics
    • Natural Sciences
    • Social Science
  • Scholars Toggle Scholars submenu
    • Directors
    • Faculty & Emeriti
    • Current Scholars
    • All Scholars
    • Prospective Scholars
    • Artists-in-Residence
    • Director’s Visitors
    • AMIAS
  • News Toggle News submenu
    • Opinion
    • IAS News
    • In the Media
    • Press Releases
    • Press Center
    • Press Clips
    • Podcasts
  • Events Toggle Events submenu
    • Schools Seminars & Programs
    • Campus Community Events
    • Arts at IAS
    • Friends Events
    • Calendar
    • Record of Events
  • Programs Toggle Programs submenu
    • Arts at IAS
    • Program for Women+ and Mathematics
    • IAS/Park City Mathematics Institute
    • Prospects in Theoretical Physics
    • Science, Technology, and Social Values Lab
    • DigitalScholarship@IAS
  • Support Toggle Support submenu
    • Give Now
    • Ways to Give
    • Friends
    • Planned Giving
    • Contact Us
  • Apply

Group Subnav

Video
Open submenu

Breadcrumb

  1. Home
  2. Video Lectures
  3. The meta-theory of dependent type theories

The meta-theory of dependent type theories

Date

February 27, 2017

Speakers

Vladimir Voevodsky, Institute for Advanced Study

Affiliation

Professor, School of Mathematics
Members Seminar
School of Mathematics

Footer menu

  • Privacy
  • Diversity, Equity & Inclusion
  • Careers
  • Press Center
  • Libraries & Archives
  • Sustainability
  • Store
  • Contact

Institute for Advanced Study
1 Einstein Drive
Princeton, New Jersey
08540 USA

Phone

(609) 734-8000

Email

contactus@ias.edu

Support

Help our scientists and scholars continue their field-shaping work.

Give Now

Connect

eNews Signup

Copyright © 2024 Institute for Advanced Study