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
Danko Ilik
Researcher
PaperType Directed Partial Evaluation for Level-1 Shift and ResetAuthorship / preprint / 2013PaperAxioms and Decidability for Type Isomorphism in the Presence of SumsAuthorship / preprint / 2014PaperDelimited control operators prove Double-negation ShiftAuthorship / preprint / 2011PaperContinuation-passing Style Models Complete for Intuitionistic LogicAuthorship / preprint / 2011PaperKripke Models for Classical LogicAuthorship / preprint / 2010PaperA Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control OperatorsAuthorship / preprint / 2014PaperAn interpretation of the Sigma-2 fragment of classical Analysis in System TAuthorship / preprint / 2015