Concepedia

Egbert Rijke

ER

Statistics

Publications

6

Citations

143

H-Index

6

Active since

2015

Affiliations

Carnegie Mellon University(Current)

Egbert Rijke is an author at Carnegie Mellon University specializing in homotopy theory, homotopy type theory, and mathematics.

ORCID

Publications per year

2015–2020

6

Publications

6

Modalities in homotopy type theory

Egbert Rijke, Michael Shulman, Bas Spitters · Logical Methods in Computer Science · 2020 · 35 citations · Full text

, , +13

Modalities in homotopy type theory

Egbert Rijke, Michael Shulman, Bas Spitters · DOAJ (DOAJ: Directory of Open Access Journals) · 2020 · 34 citations · Full text

, , +13

Sets in homotopy type theory

Egbert Rijke, Bas Spitters · Mathematical Structures in Computer Science · 2015 · 21 citations · Full text

, , +10

The join construction

Egbert Rijke · arXiv (Cornell University) · 2017 · 19 citations · Full text

, , +6

The real projective spaces in homotopy type theory

Ulrik Buchholtz, Egbert Rijke · 2017 · 17 citations

, , +10

1–5 of 6