Egbert Rijke
Publication Activity (10 Years)
Years Active: 2013-2024
Publications (10 Years): 11
Publications (10 Years): 11
Publications
- Ulrik Buchholtz, Tom de Jong, Egbert Rijke
- Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten, Egbert Rijke
- Felix Cherubini, Egbert Rijke
- Egbert Rijke, Michael Shulman, Bas Spitters
- Kristina Sojakova, Floris van Doorn, Egbert Rijke
- Ulrik Buchholtz, Floris van Doorn, Egbert Rijke
- Ulrik Buchholtz, Floris van Doorn, Egbert Rijke
- Egbert Rijke, Michael Shulman, Bas Spitters
- Ulrik Buchholtz, Egbert Rijke
- Ulrik Buchholtz, Egbert Rijke
- Egbert Rijke, Bas Spitters
- Egbert Rijke, Bas SpittersSets in homotopy type theory CoRR (2013)