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
Aaron Stump
Researcher
PaperRelational Type Theory (All Proofs)Authorship / preprint / 2021PaperTermination Casts: A Flexible Approach to Termination with General RecursionAuthorship / preprint / 2010PaperA Rewriting View of Simple TypingAuthorship / preprint / 2013PaperEfficient lambda encodings for Mendler-style coinductive types in CedilleAuthorship / preprint / 2020PaperEquality, Quasi-Implicit Products, and Large EliminationsAuthorship / preprint / 2011PaperHereditary Substitution for the λΔ-CalculusAuthorship / preprint / 2013PaperIrrelevance, Heterogeneous Equality, and Call-by-value Dependent Type SystemsAuthorship / preprint / 2012