Publications

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.