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
8 links
Neil Ghani
Researcher
PaperCompositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive LawAuthorship / preprint / 2020PaperRepresentations of Stream Processors Using Nested Fixed PointsAuthorship / preprint / 2009PaperGeneric Fibrational InductionAuthorship / preprint / 2012PaperIndexed Induction and Coinduction, FibrationallyAuthorship / preprint / 2013PaperPositive Inductive-Recursive DefinitionsAuthorship / preprint / 2015PaperCompositional Game Theory, CompositionallyAuthorship / preprint / 2021PaperThree Equivalent Ordinal Notation Systems in Cubical AgdaAuthorship / preprint / 2020PaperRefining Inductive TypesAuthorship / preprint / 2012