Graph explorer

Research map

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

Ori Segel
Map detail
Ori Segel3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipOri SegelAOri SegelResearcherPositive Definability PatternsWPositive Definability P...preprint / 2022Boolean Types in Dependent TheoriesWBoolean Types in Depend...preprint / 2022
Person2 links

Ori Segel

Researcher