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
7 links
Silvia Ghilezan
Researcher
PaperList types for resource aware languages: an implicit name approachAuthorship / preprint / 2026PaperComputational interpretation of classical logic with explicit structural rulesAuthorship / preprint / 2012PaperA journey through resource control lambda calculi and explicit substitution using intersection types (an account)Authorship / preprint / 2013PaperResource control and strong normalisationAuthorship / preprint / 2013PaperA Typed Model for Dynamic AuthorizationsAuthorship / preprint / 2016PaperPrecise subtyping for synchronous multiparty sessionsAuthorship / preprint / 2016PaperCombining behavioural types with security analysisAuthorship / preprint / 2015