A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets. - Andreas Nuyts (CoRR, 2017)

Parametric quantifiers for dependent type theory. - Andreas Nuyts; Andrea Vezzosi; Dominique Devriese (Proc. ACM Program. Lang., 2017)

Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory. - Andreas Nuyts; Dominique Devriese (LICS, 2018)

Presheaf Models of Relational Modalities in Dependent Type Theory. - Andreas Nuyts (CoRR, 2018)

How to do proofs: practically proving properties about effectful programs' results (functional pearl). - Koen Jacobs; Andreas Nuyts; Dominique Devriese (TyDe@ICFP, 2019)

A Categorical Approach to Secure Compilation. - Stelios Tsampas 001; Andreas Nuyts; Dominique Devriese; Frank Piessens (CMCS, 2020)

The Transpension Type: Technical Report. - Andreas Nuyts (CoRR, 2020)

Abstract Congruence Criteria for Weak Bisimilarity. - Stelios Tsampas 001; Christian Williams; Andreas Nuyts; Dominique Devriese; Frank Piessens (MFCS, 2021)

Parametricity Features and their Requirements. - Andreas Nuyts (CoRR, 2021)

Multimodal Dependent Type Theory. - Daniel Gratzer; G. A. Kavvos; Andreas Nuyts; Lars Birkedal (Log. Methods Comput. Sci., 2021)

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)

Transpension: The Right Adjoint to the Pi-type. - Andreas Nuyts; Dominique Devriese (Log. Methods Comput. Sci., 2024)

Internal and Observational Parametricity for Cubical Agda. - Antoine Van Muylder; Andreas Nuyts; Dominique Devriese (Proc. ACM Program. Lang., 2024)

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