Andreas Nuyts

22 papers A* 2B 1Journal 15Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
BiSikkel: A Multimode Logical Framework in Agda.
Proc. ACM Program. Lang.
Joris Ceulemans, Andreas Nuyts, Dominique Devriese
2025 J jnl
Nominal Type Theory by Nullary Internal Parametricity.
CoRR
Antoine Van Muylder, Andreas Nuyts, Dominique Devriese
2025 J jnl
Towards Computational UIP in Cubical Agda.
CoRR
Yee-Jian Tan, Andreas Nuyts, Dominique Devriese
2024 J jnl
A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report.
CoRR
Joris Ceulemans, Andreas Nuyts, Dominique Devriese
2024 J jnl
Internal and Observational Parametricity for Cubical Agda.
Proc. ACM Program. Lang.
Antoine Van Muylder, Andreas Nuyts, Dominique Devriese
2024 J jnl
Transpension: The Right Adjoint to the Pi-type.
Log. Methods Comput. Sci.
Andreas Nuyts, Dominique Devriese
2023 — conf
A Sound and Complete Substitution Algorithm for Multimode Type Theory.
TYPES
Joris Ceulemans, Andreas Nuyts, Dominique Devriese
2022 — conf
Sikkel: Multimode Simple Type Theory as an Agda Library.
MSFP@ETAPS
Joris Ceulemans, Andreas Nuyts, Dominique Devriese
2021 B conf
Abstract Congruence Criteria for Weak Bisimilarity.
MFCS
Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens
2021 J jnl
Multimodal Dependent Type Theory.
Log. Methods Comput. Sci.
Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal
2021 J jnl
Parametricity Features and their Requirements.
CoRR
Andreas Nuyts
2020 — conf
A Categorical Approach to Secure Compilation.
CMCS
Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
2020 J jnl
A categorical approach to secure compilation.
CoRR
Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
2020 A* conf
Multimodal Dependent Type Theory.
LICS
Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal
2020 J jnl
Multimodal Dependent Type Theory.
CoRR
Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal
2020 J jnl
The Transpension Type: Technical Report.
CoRR
Andreas Nuyts
2020 J jnl
Transpension: The Right Adjoint to the Pi-type.
CoRR
Andreas Nuyts, Dominique Devriese
2019 — conf
How to do proofs: practically proving properties about effectful programs' results (functional pearl).
TyDe@ICFP
Koen Jacobs, Andreas Nuyts, Dominique Devriese
2018 A* conf
Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory.
LICS
Andreas Nuyts, Dominique Devriese
2018 J jnl
Presheaf Models of Relational Modalities in Dependent Type Theory.
CoRR
Andreas Nuyts
2017 J jnl
A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets.
CoRR
Andreas Nuyts
2017 J jnl
Parametric quantifiers for dependent type theory.
Proc. ACM Program. Lang.
Andreas Nuyts, Andrea Vezzosi, Dominique Devriese