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
Andrej Bauer
Researcher
PaperA general definition of dependent type theoriesAuthorship / preprint / 2020PaperOn the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective ToposAuthorship / preprint / 2009PaperOn the Bourbaki-Witt Principle in ToposesAuthorship / preprint / 2012PaperA non-commutative Priestley dualityAuthorship / preprint / 2013PaperAn Effect System for Algebraic Effects and HandlersAuthorship / preprint / 2014PaperProgramming with Algebraic Effects and HandlersAuthorship / preprint / 2012PaperStone Duality for Skew Boolean Algebras with IntersectionsAuthorship / preprint / 2011PaperRunners in actionAuthorship / preprint / 2020