{mitten}: A Flexible Multimodal Proof Assistant. - Philipp Stassen; Daniel Gratzer; Lars Birkedal (TYPES, 2022)

Modelling Probabilistic FPC in Guarded Type Theory. - Philipp Stassen; Rasmus Ejlers Møgelberg; Maaike Zwart; Alejandro Aguirre 001; Lars Birkedal (CoRR, 2024)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory. - Philipp Stassen; Rasmus Ejlers Møgelberg; Maaike Zwart; Alejandro Aguirre 001; Lars Birkedal (Proc. ACM Program. Lang., 2025)