Andrej Bauer

Bibliography

• official bibliography at COBISS
• arXiv.org
• DBLP
• Google Scholar
• MathSciNet (may require authentication)