Andreas Nuyts

From MaRDI portal
Person:2229234

Available identifiers

zbMath Open nuyts.andreasMaRDI QIDQ2229234

List of research outcomes





PublicationDate of PublicationType
Transpension: the right adjoint to the Pi-type2024-06-27Paper
https://portal.mardi4nfdi.de/entity/Q60689342023-12-15Paper
https://portal.mardi4nfdi.de/entity/Q61133822023-08-08Paper
Multimodal dependent type theory2021-10-08Paper
A categorical approach to secure compilation2021-02-22Paper
Multimodal dependent type theory2021-01-21Paper
Degrees of relatedness. A unified framework for parametricity, irrelevance, ad hoc polymorphism, intersections, unions and algebra in dependent type theory2021-01-20Paper
A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets2017-06-14Paper

Research outcomes over time

This page was built for person: Andreas Nuyts

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2229234&oldid=6676731"
Powered by MediaWiki