Toward a Computational Interpretation of Univalence - Daniel Licata