Publications

Joram. Datatypes with Symmetries in Homotopy Type Theory. PhD thesis, Tallinn University of Technology, June 2026.

Joram and Veltri. Constructive Final Semantics of Finite Bags. 14th International Conference on Interactive Theorem Proving (ITP 2023) (Dagstuhl, Germany, 2023), 20:1–20:19.

Joram and Veltri. Data Types with Symmetries via Action Containers. 30th International Conference on Types for Proofs and Programs (TYPES’24) (2025a), 6:1–6:21.

Joram and Veltri. Derivatives for Containers in Univalent Foundations. arXiv.