Necro, la sémantique sans y laisser les os: conception d'un système formel de description et de manipulation de sémantiques opérationnelles. (Necro, the skeleton key to semantics). - Victoire Noizet (2022)