Capriotti, Paolo, Kraus, Nicolai, "Univalent higher categories via complete semi-segal types", Proceedings of the ACM on Programming Languages, 2018