Graph explorer

Research map

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

Mechanized semantics
Map detail
Mechanized semantics3 visible / 3 total nodes / 2 links

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

AuthorshipTopic signalMechanized semanticsWMechanized semanticspreprint / 2010Xavier LeroyAXavier LeroyResearcherProgramming LanguagesTProgramming Languages1239 works
Paper2 links

Mechanized semantics

preprint / 2010