Coherence of Gray Categories via Rewriting. - Simon Forest 001; Samuel Mimram (FSCD, 2018)

Describing free $ omega$ -categories. - Simon Forest 001; Samuel Mimram (LICS, 2019)

Computational descriptions of higher categories. (Descriptions calculatoires de catégories supérieures). - Simon Forest 001 (2021)

Rewriting in Gray categories with applications to coherence. - Simon Forest 001; Samuel Mimram (Math. Struct. Comput. Sci., 2022)