A Semantics of 𝕂 into Dedukti. - Amélie Ledein; Valentin Blot; Catherine Dubois (TYPES, 2022)

LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes. - Mathieu Montin; Amélie Ledein; Catherine Dubois (MSFP@ETAPS, 2022)