Skip to main navigation
Skip to search
Skip to main content
Experts@Minnesota Home
Home
Profiles
Research units
University Assets
Projects and Grants
Research output
Datasets
Press/Media
Activities
Fellowships, Honors, and Prizes
Impacts
Search by expertise, name or affiliation
Cellular cohomology in homotopy type theory
Ulrik Buchholtz
,
Kuen Bang Hou
Computer Science and Engineering
Research output
:
Contribution to journal
›
Article
›
peer-review
5
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Cellular cohomology in homotopy type theory'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Homotopy Type Theory
100%
Cellular Cohomology
100%
Cohomology
40%
Cell Complex
40%
Abelian Group
40%
High Dimension
20%
Homotopy Groups
20%
Cohomology Theory
20%
Common Space
20%
Proof Assistants
20%
Agda
20%
Eilenberg-MacLane Space
20%
Finite Cell
20%
Mathematics
Homotopy Type
100%
Type Theory
100%
Homology
100%
Abelian Group
25%
Cell Complex
25%
Wide Class
12%
Homotopy Group
12%
Eilenberg
12%
Higher Dimensions
12%
Main Result
12%