Stack semantics of type theory. - Thierry Coquand; Bassel Mannaa; Fabian Ruch (LICS, 2017)

Constructive sheaf models of type theory. - Thierry Coquand; Fabian Ruch; Christian Sattler (Math. Struct. Comput. Sci., 2021)

Normalization for fitch-style modal calculi. - Nachiappan Valliappan; Fabian Ruch; Carlos Tomé Cortiñas (Proc. ACM Program. Lang., 2022)