Graph explorer

Research map

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

Peter Arndt
Map detail
Peter Arndt3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipPeter ArndtAPeter ArndtResearcherFilter pairs and natural extensions of logicsWFilter pairs and natura...preprint / 2022Homotopy Theoretic Models of Type TheoryWHomotopy Theoretic Mode...preprint / 2012
Person2 links

Peter Arndt

Researcher