A type-theoretic potpourri: towards final coalgebrasof accessible functors
author
Basold, Henning
statement of authorship
Henning Basold, Niccolò Veltri
location of publication
Saarbrücken/Wadern
publisher
year of publication
pages
3 p
conference name, date
26th International Conference on Types for Proofs and Programs TYPES 2020, March 2–5, 2020
conference location
Turin, Italy
subject term
ISSN
1868-8969
ISBN
978-3-95977-182-5
notes
Bibliogr.: 10 ref
TTÜ department
language
inglise
Basold, H., Veltri, N. A type-theoretic potpourri: towards final coalgebrasof accessible functors // EUTYPES-TYPES 2020 : Abstracts. Saarbrücken/Wadern : Dagstuhl Publishing, 2020. 3 p. (Leibniz international proceedings in informatics (LIPIcs) ; 188).