A type-theoretic potpourri: towards final coalgebrasof accessible functorsBasold, Henning; Veltri, NiccoloEUTYPES-TYPES 2020 : Abstracts2020 / 3 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf