A type-theoretic potpourri: towards final coalgebrasof accessible functors
Basold, Henning
;
Veltri, Niccolo
EUTYPES-TYPES 2020 : Abstracts
2020
/
3 p
https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf