Andreas Nuyts

According to our database, Andreas Nuyts authored at least 15 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Internal and Observational Parametricity for Cubical Agda.

Antoine Van Muylder, Andreas Nuyts, Dominique Devriese

Proc. ACM Program. Lang., January, 2024

Transpension: The Right Adjoint to the Pi-type.

Andreas Nuyts, Dominique Devriese

Log. Methods Comput. Sci., 2024

A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report.

Joris Ceulemans, Andreas Nuyts, Dominique Devriese

CoRR, 2024

2023

A Sound and Complete Substitution Algorithm for Multimode Type Theory.

Joris Ceulemans, Andreas Nuyts, Dominique Devriese

Proceedings of the 29th International Conference on Types for Proofs and Programs, 2023

2022

Sikkel: Multimode Simple Type Theory as an Agda Library.

Joris Ceulemans, Andreas Nuyts, Dominique Devriese

Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022

2021

Multimodal Dependent Type Theory.

Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal

Log. Methods Comput. Sci., 2021

Parametricity Features and their Requirements.

Andreas Nuyts

CoRR, 2021

Abstract Congruence Criteria for Weak Bisimilarity.

Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

The Transpension Type: Technical Report.

Andreas Nuyts

CoRR, 2020

A Categorical Approach to Secure Compilation.

Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens

Proceedings of the Coalgebraic Methods in Computer Science, 2020

2019

How to do proofs: practically proving properties about effectful programs' results (functional pearl).

Koen Jacobs, Andreas Nuyts, Dominique Devriese

Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 2019

2018

Presheaf Models of Relational Modalities in Dependent Type Theory.

Andreas Nuyts

CoRR, 2018

Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory.

Andreas Nuyts, Dominique Devriese

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Parametric quantifiers for dependent type theory.

Andreas Nuyts, Andrea Vezzosi, Dominique Devriese

Proc. ACM Program. Lang., 2017

A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets.

Andreas Nuyts

CoRR, 2017