Skip to main content
Toggle navigation menu

Schools menu

  • Historical Studies
  • Mathematics
  • Natural Sciences
  • Social Science

  • Campus Resources
  • Library
  • Dining

Utility menu

  • Covid-19: Procedures
  • 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
    • Public Lectures & Conversations
    • Schools Seminars & Programs
    • Campus Community Events
    • Music
    • Friends Events
    • Calendar
  • Programs Toggle Programs submenu
    • Program in Interdisciplinary Studies
    • Artist-in-Residence Program
    • Program for Women and Mathematics
    • IAS/Park City Mathematics Institute
    • Prospects in Theoretical Physics
    • Summer Program in Social Science
    • DigitalScholarship@IAS
  • Support Toggle Support submenu
    • Give Now
    • Ways to Give
    • Friends
    • IAS Bamberger Medal
    • IAS Einstein Gala
    • Founders Day
    • Planned Giving
    • Development News
    • 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

Affiliation

Professor, School of Mathematics, IAS

Speakers

Vladimir Voevodsky
School of Mathematics
Univalent
Vladimir Voevodsky

Footer menu

  • Privacy
  • Diversity, Equity & Inclusion
  • 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

Social

  • IAS on Twitter
  • IAS on Facebook
  • IAS on Youtube
  • IAS on Instagram
  • IAS on LinkedIn
Copyright © 2023 Institute for Advanced Study