National Science Foundation
Mathematical Sciences Institutes
Home
Institutes
Events
Highlights
Videos
Diversity
About
Videos
Search Videos
Search
From Date
To Date
Institute
AIM
IAS
ICERM
IMA
IPAM
MBI
MSRI
SAMSI
IMSI
Per Page
12
24
48
96
Search
Reset
Start date cannot be after end date.
Semantics of Higher Inductive Types
Presenter
Michael Shulman
February 27, 2013
IAS
Working Group on Univalent Foundations
Presenter
Michael Shulman
December 12, 2012
IAS
Toward Higher Inductive Types
Presenter
Michael Shulman
November 14, 2012
IAS
Inernal Languages for Higher Toposes
Presenter
Michael Shulman
October 3, 2012
IAS
Towards elementary infinity-toposes
Presenter
Michael Shulman
September 13, 2018
IAS