Start date cannot be after end date.
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
Presenter
- Benedikt Ahrens
February 13, 2023
IPAM
Univalent foundations and the equivalence principle
Presenter
- Benedikt Ahrens
September 21, 2015
IAS
Univalent foundations and the equivalence principle
Presenter
- Benedikt Ahrens
September 12, 2018
IAS