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
6 links
Margherita Zorzi
Researcher
PaperProbabilistic Operational Semantics for the Lambda CalculusAuthorship / preprint / 2011PaperInteractive Realizability and the elimination of Skolem functions in Peano ArithmeticAuthorship / preprint / 2012PaperWave-Style Token Machines and Quantum Lambda Calculi (Long Version)Authorship / preprint / 2013PaperFrom narrative descriptions to MedDRA: automagically encoding adverse drug reactionsAuthorship / preprint / 2016PaperA journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logicAuthorship / preprint / 2020PaperGeneral Ramified Recurrence is Sound for Polynomial TimeAuthorship / preprint / 2010