Constructing higher inductive types as groupoid quotientsVeltri, Niccolo; Weide, Niels van derLogical methods in computer science2021 / p. 8:1−8:42 https://doi.org/10.23638/LMCS-17(2:8)2021 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Constructive final semantics of finite bagsJoram, Philipp; Veltri, Niccolo14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 20232023 / art. 20, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.20 Conference proceeding at Scopus Article at Scopus

Data Types with Symmetries via Action ContainersJoram, Philipp; Veltri, Niccolo30th International Conference on Types for Proofs and Programs (TYPES 2024). Vol. 336 : proceedings2025 / p. 6:1-6:21 https://doi.org/10.4230/LIPIcs.TYPES.2024.6