Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor

Niccolò Veltri. Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor. In Naoki Kobayashi 0001, editor, 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference). Volume 195 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.