Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Eduardo Bonelli
Researcher
PaperStrong Bisimulation for Control OperatorsAuthorship / preprint / 2019PaperSuperdevelopments for Weak ReductionAuthorship / preprint / 2010PaperProceedings 5th International Workshop on Higher-Order RewritingAuthorship / preprint / 2011PaperOn abstract normalisation beyond needednessAuthorship / preprint / 2016PaperProceedings 16th Logical and Semantic Frameworks with ApplicationsAuthorship / preprint / 2022PaperType Soundness for Path PolymorphismAuthorship / preprint / 2016PaperProceedings 9th International Workshop on Developments in Computational ModelsAuthorship / preprint / 2014PaperEfficient Type Checking for Path PolymorphismAuthorship / preprint / 2017