Edit Profile (opens in new tab) van der Weide, Niels Co-Author Distance Author ID: van-der-weide.niels Published as: van der Weide, Niels Documents Indexed: 11 Publications since 2019, including 4 Additional arXiv Preprints Co-Authors: 7 Co-Authors with 8 Joint Publications 121 Co-Co-Authors all top 5 Co-Authors 3 single-authored 5 Ahrens, Benedikt 3 North, Paige Randall 3 Veltri, Niccolò 2 Frumin, Dan 2 Maggesi, Marco 2 Rasekh, Nima 1 Geuvers, Jan Herman Serials 2 MSCS. Mathematical Structures in Computer Science 1 Logical Methods in Computer Science Fields 5 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 4 Category theory; homological algebra (18-XX) 2 Algebraic topology (55-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 6 Publications have been cited 9 times in 8 Documents Cited by ▼ Year ▼ Bicategories in univalent foundations. Zbl 1528.18019 Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; van der Weide, Niels 2 2019 Guarded recursion in Agda via sized types. Zbl 1528.68071 Veltri, Niccolò; van der Weide, Niels 2 2019 Constructing higher inductive types as groupoid quotients. Zbl 1498.03036 van der Weide, Niels 2 2020 Bicategories in univalent foundations. Zbl 1514.18019 Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; van der Weide, Niels 1 2021 Constructing higher inductive types as groupoid quotients. Zbl 1498.03037 Veltri, Niccolò; van der Weide, Niels 1 2021 The construction of set-truncated higher inductive types. Zbl 07515964 van der Weide, Niels; Geuvers, Herman 1 2019 Bicategories in univalent foundations. Zbl 1514.18019 Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; van der Weide, Niels 1 2021 Constructing higher inductive types as groupoid quotients. Zbl 1498.03037 Veltri, Niccolò; van der Weide, Niels 1 2021 Constructing higher inductive types as groupoid quotients. Zbl 1498.03036 van der Weide, Niels 2 2020 Bicategories in univalent foundations. Zbl 1528.18019 Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; van der Weide, Niels 2 2019 Guarded recursion in Agda via sized types. Zbl 1528.68071 Veltri, Niccolò; van der Weide, Niels 2 2019 The construction of set-truncated higher inductive types. Zbl 07515964 van der Weide, Niels; Geuvers, Herman 1 2019 all cited Publications top 5 cited Publications all top 5 Cited by 16 Authors 4 van der Weide, Niels 3 Veltri, Niccolò 2 Ahrens, Benedikt 1 Ceulemans, Joris 1 Devriese, Dominique 1 Frumin, Dan 1 Geuvers, Jan Herman 1 Jenkins, Christopher 1 Kaposi, Ambrus 1 Kovács, András 1 Maggesi, Marco 1 Marmaduke, Andrew 1 North, Paige Randall 1 Nuyts, Andreas 1 Stump, Aaron 1 Voorneveld, Niels F. W. Cited in 2 Serials 2 MSCS. Mathematical Structures in Computer Science 2 Logical Methods in Computer Science Cited in 4 Fields 6 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 2 Category theory; homological algebra (18-XX) 1 Algebraic topology (55-XX) Citations by Year