Graph explorer

Research map

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

Cyprien Mangin
Map detail
Cyprien Mangin2 visible / 2 total nodes / 1 links

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

AuthorshipCyprien ManginACyprien ManginResearcherEquations for Hereditary Substitution in Leivant's Predicative System F: A Case StudyWEquations for Hereditar...preprint / 2015
Person1 links

Cyprien Mangin

Researcher