Constructive final semantics of finite bagsJoram, Philipp; Veltri, Niccolò14th 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

Cyclic duality for slice and orbit 2-categoriesBoiquayea, John; Joram, Philipp; Krähmer, UlrichHigher Structures2024 / p. 136-162 : ill https://doi.org/10.21136/hs.2024.09

Term search in RustAnnus, Tavo; Joram, PhilippTyDe 2024: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development2024 / p. 62-73 https://doi.org/10.1145/3678000.3678210 Article at Scopus