Graph explorer

Research map

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

William Troiani
Map detail
William Troiani3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipWilliam TroianiAWilliam TroianiResearcherElimination and cut-elimination in multiplicative linear logicWElimination and cut-eli...preprint / 2022Gentzen-Mints-Zucker dualityWGentzen-Mints-Zucker du...preprint / 2020
Person2 links

William Troiani

Researcher