Authors T. Uemura Date (dd-mm-yyyy) 2019-07-08 Title A General Framework for Categorical Semantics of Type Theory Publication Year 2019-07-08 Document type Abstract Permalink https://hdl.handle.net/11245.1/f2f75bfc-6aef-4e88-b974-18c4b8ef1663