Statistics
Publications
4
Citations
92
H-Index
4
Active since
2018
Affiliations
Dan Frumin is an author at Aarhus University specializing in formal methods.
Top concepts
Publications per year
2018–2024
4
4
Dan Frumin, Robbert Krebbers, Lars Birkedal · 2018 · 48 citations
Finite sets in homotopy type theory
Dan Frumin, Herman Geuvers, Léon Gondelman et al. · 2018 · 16 citations
Type Theory, Higher Category Theory, Different Formalizations +6
1–4 of 4