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. INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS
  4. Type Systems

Type Systems

Date

November 28, 2012

Speakers

Vladimir Voevodsky, Institute for Advanced Study

Affiliation

Institute for Advanced Study
School of Mathematics
Univalent
Vladimir Voevodsky

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