Graph explorer

Research map

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

Policy as Types
Map detail
Policy as Types6 visible / 6 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipTopic signalTopic signalRelated contextPolicy as TypesWPolicy as Typespreprint / 2013Lucius G MeredithALucius G MeredithResearcherMike StayAMike StayResearcherSophia DrossopoulouASophia DrossopoulouResearcherCryptography and SecurityTCryptography and Security7258 worksLogic in Computer ScienceTLogic in Computer Science2208 works
Paper5 links

Policy as Types

preprint / 2013