Authors

T. Uemura

Date (dd-mm-yyyy)

2019-06-13

Title

Cubical Assembly Models of Homotopy Type Theory

Publication Year

2019-06-13

Document type

Abstract

Note

invited talk

Permalink

https://hdl.handle.net/11245.1/88232a3b-8c73-4c7e-b75f-4ebf5148227e