Toward a Computational Interpretation of Univalence
Presenter
October 18, 2012
Keywords:
- Univalent
Abstract
Toward a Computational Interpretation of Univalence