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
Federico Aschieri
Researcher
PaperA typed parallel λ-calculus via 1-depth intermediate proofsAuthorship / preprint / 2020PaperInteractive Learning Based Realizability and 1-Backtracking GamesAuthorship / preprint / 2011PaperInteractive Realizability and the elimination of Skolem functions in Peano ArithmeticAuthorship / preprint / 2012PaperStrong Normalization for HA + EM1 by Non-Deterministic ChoiceAuthorship / preprint / 2013PaperLearning, Realizability and Games in Classical ArithmeticAuthorship / preprint / 2011PaperInteractive Learning-Based Realizability for Heyting Arithmetic with EM1Authorship / preprint / 2010PaperGame Semantics and the Geometry of Backtracking: a New Complexity Analysis of InteractionAuthorship / preprint / 2016