Andreas Nuyts

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A sound and complete substitution algorithm for multimode type theory	2026-01-30	Paper
Transpension: the right adjoint to the Pi-type Logical Methods in Computer Science	2024-06-27	Paper
scientific article; zbMATH DE number 7779294 (Why is no real title available?) (available as arXiv preprint)	2023-12-15	Paper
scientific article; zbMATH DE number 7779294 (Why is no real title available?)	2023-12-15	Paper
scientific article; zbMATH DE number 7724261 (Why is no real title available?) (available as arXiv preprint)	2023-08-08	Paper
Multimodal dependent type theory (available as arXiv preprint)	2021-10-08	Paper
Multimodal dependent type theory	2021-10-08	Paper
A categorical approach to secure compilation (available as arXiv preprint)	2021-02-22	Paper
Multimodal dependent type theory Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Degrees of relatedness. A unified framework for parametricity, irrelevance, ad hoc polymorphism, intersections, unions and algebra in dependent type theory Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets	2017-06-14	Paper

Research outcomes over time

This page was built for person: Andreas Nuyts