Andrej Bauer

Identifiers

• name variant Andrej Bauer 0.60 · backfill

Papers (9)

1. Sheaves as oracle computations math.LO · 2026 · author #2
2. What is algebraic about algebraic effects and handlers? cs.LO · 2018 · author #1
3. Design and Implementation of the Andromeda Proof Assistant cs.LO · 2018 · author #1
4. The HoTT Library: A formalization of homotopy type theory in Coq cs.LO · 2016 · author #1
5. A non-commutative Priestley duality math.RA · 2012 · author #1
6. Programming with Algebraic Effects and Handlers cs.PL · 2012 · author #1
7. On the Bourbaki-Witt Principle in Toposes math.CT · 2012 · author #1
8. Stone Duality for Skew Boolean Algebras with Intersections math.RA · 2011 · author #1
9. On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos math.LO · 2009 · author #1

Mentions

• 1206.5848 #1 · backfill · confidence 0.70 Andrej Bauer
• 1203.1539 #1 · backfill · confidence 0.70 Andrej Bauer
• 1201.0340 #1 · backfill · confidence 0.70 Andrej Bauer
• 1106.0425 #1 · backfill · confidence 0.70 Andrej Bauer
• 0911.0068 #1 · backfill · confidence 0.70 Andrej Bauer

Frequent Coauthors

• Karin Cvetko-Vah 2 shared papers
• Matija Pretnar 2 shared papers
• Peter LeFanu Lumsdaine 2 shared papers
• Bas Spitters 1 shared papers
• Christopher A. Stone 1 shared papers
• Danel Ahman 1 shared papers
• Ga\"etan Gilbert 1 shared papers
• Ganna Kudryavtseva 1 shared papers
• Jason Gross 1 shared papers
• Mai Gehrke 1 shared papers
• Matthieu Sozeau 1 shared papers
• Mike Shulman 1 shared papers
• Philipp G. Haselwarter 1 shared papers
• Sam van Gool 1 shared papers