Constructive final semantics of finite bags

DOI10.4230/LIPICS.ITP.2023.20MaRDI QIDQ6643001zbMATH OpenFDO

Authors Philipp Joram, Niccolò Veltri

Publication date 26 November 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ITP.2023.20

zbMATH Keywords

cubical Agdafinal coalgebrafinite bagshomotopy type theory

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited in

(3)

• The category of iterative sets in homotopy type theory and univalent foundations
• Data types with symmetries via action containers
• Terminal coalgebras and non-wellfounded sets in homotopy type theory

This page was built for publication: Constructive final semantics of finite bags

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6643001)