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
Delia Kesner
Researcher
PaperCall-by-Need, Neededness and All ThatAuthorship / preprint / 2020PaperProceedings Seventh Workshop on Logical and Semantic Frameworks, with ApplicationsAuthorship / preprint / 2013PaperA standardisation proof for algebraic pattern calculiAuthorship / preprint / 2011PaperA Theory of Explicit Substitutions with Safe and Full CompositionAuthorship / preprint / 2009PaperStrong Bisimulation for Control OperatorsAuthorship / preprint / 2019PaperPreservation of Strong Normalisation modulo permutations for the structural lambda-calculusAuthorship / preprint / 2012PaperOn abstract normalisation beyond needednessAuthorship / preprint / 2016