Authors T. UemuraHoang Kim Nguyen Date (dd-mm-yyyy) 2020-07-05 Title ∞-type theories Publication Year 2020-07-05 Document type Abstract Permalink https://hdl.handle.net/11245.1/057dde01-23eb-4eca-b1b6-dff2f1f65036