< Terug naar vorige pagina
Onderzoeker
Andreas Nuyts
- Disciplines:Distributed computing
Affiliaties
- Gedistribueerde en Veilige Software (DistriNet) (Afdeling)
Lid
Vanaf1 aug 2020 → Heden - Afdeling Informatica (Afdeling)
Lid
Vanaf20 jul 2015 → 4 aug 2020
Projecten
1 - 3 of 3
- Redeneerprincipes voorbij Elementaire Logica o.b.v. Multimodusen PreschooftypetheorieVanaf1 okt 2021 → HedenFinanciering: FWO junior postdoctoraal mandaat
- Een bibliotheek voor modale typetheorie met toepassingen in effectparametriciteitVanaf20 aug 2021 → HedenFinanciering: FWO mandaten
- Theorie, implementatie en toepassing van directed dependent type theoriesVanaf1 jan 2016 → 31 aug 2020Financiering: FWO mandaten
Publicaties
1 - 10 van 10
- Internal and Observational Parametricity for Cubical Agda(2024)
Auteurs: Andreas Nuyts, Dominique Devriese
Pagina's: 209 - 240 - Sikkel: Multimode Simple Type Theory as an Agda Library(2022)
Auteurs: Joris Ceulemans, Andreas Nuyts, Dominique Devriese
Pagina's: 93 - 112 - Abstract Congruence Criteria for Weak Bisimilarity(2021)
Auteurs: Stylianos Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
Pagina's: 88:1 - 88:23 - MULTIMODAL DEPENDENT TYPE THEORY(2021)
Auteurs: Andreas Nuyts
- Contributions to Multimode and Presheaf Type Theory(2020)
Auteurs: Andreas Nuyts, Frank Piessens, Dominique Devriese
- Multimodal Dependent Type Theory(2020)
Auteurs: Andreas Nuyts
Pagina's: 492 - 506Aantal pagina's: 14 - A Categorical Approach to Secure Compilation(2020)
Auteurs: Stylianos Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
Pagina's: 155 - 179 - How to do proofs? Practically proving properties about effectful programs' results (functional pearl)(2019)
Auteurs: Koen Jacobs, Andreas Nuyts, Dominique Devriese
Pagina's: 1 - 13 - Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory(2018)
Auteurs: Andreas Nuyts, Dominique Devriese
Pagina's: 779 - 788 - Parametric quantifiers for dependent type theory(2017)
Auteurs: Andreas Nuyts, Dominique Devriese
Pagina's: 1 - 29