Sikkel: Multimode Simple Type Theory as an Agda Library. - Joris Ceulemans; Andreas Nuyts; Dominique Devriese (MSFP@ETAPS, 2022)

A Sound and Complete Substitution Algorithm for Multimode Type Theory. - Joris Ceulemans; Andreas Nuyts; Dominique Devriese (TYPES, 2023)

A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report. - Joris Ceulemans; Andreas Nuyts; Dominique Devriese (CoRR, 2024)

BiSikkel: A Multimode Logical Framework in Agda. - Joris Ceulemans; Andreas Nuyts; Dominique Devriese (Proc. ACM Program. Lang., 2025)