Skip to main content
Toggle navigation menu

Schools menu

  • Historical Studies
  • Mathematics
  • Natural Sciences
  • Social Science
  • Nelson Center

  • Campus Resources
  • Library
  • Dining

Utility menu

  • Campus Resources
  • Friends

Group Nav

  • About Toggle About submenu
    • Welcome
    • Mission & History
    • Director
    • Board of Trustees
    • Administration
    • Openness to Talent
    • Libraries & Archives
    • Publications
    • Videos
    • Campus & Lands
    • Sustainability
    • 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
    • WAM
    • 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 and Proof Assistant

Type Systems and Proof Assistant

Date

October 10, 2012

Speakers

Vladimir Voevodsky

Affiliation

Professor, School of Mathematics, IAS
School of Mathematics
Univalent
Vladimir Voevodsky

Footer menu

  • Privacy
  • Careers
  • Press Center
  • Libraries & Archives
  • 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 © 2025 Institute for Advanced Study