Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Univalent completion
Map detail
Univalent completion6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipTopic signalTopic signalTopic signalUnivalent completionWUnivalent completionpreprint / 2015Benno van den BergABenno van den BergResearcherIeke MoerdijkAIeke MoerdijkResearchermath.ATTmath.AT1949 worksmath.LOTmath.LO1661 worksmath.CTTmath.CT1150 works
Paper5 links

Univalent completion

preprint / 2015