Graph explorer

Research map

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

Nathan Collins
Map detail
Nathan Collins3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipNathan CollinsANathan CollinsResearcherA Verified Information-Flow ArchitectureWA Verified Information-...preprint / 2016Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type SystemsWIrrelevance, Heterogene...preprint / 2012
Person2 links

Nathan Collins

Researcher