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
SLMath
SAMSI
IMSI
Per Page
12
24
48
96
Search
Reset
Start date cannot be after end date.
Eilenberg-Mac Lane Spaces in HoTT
Presenter
Daniel Licata
March 13, 2013
IAS
Toward a Computational Interpretation of Univalence
Presenter
Daniel Licata
October 18, 2012
IAS
A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers
Presenter
Daniel Licata
November 26, 2012
IAS
Computing with Univalence
Presenter
Daniel Licata
September 28, 2012
IAS