Follow
Andrej Bauer
Andrej Bauer
University of Ljubljana
Verified email at andrej.com - Homepage
Title
Cited by
Cited by
Year
Programming with algebraic effects and handlers
A Bauer, M Pretnar
Journal of Logical and Algebraic Methods in Programming 84 (1), 108-123, 2015
2352015
Equilogical spaces
A Bauer, L Birkedal, DS Scott
Theoretical Computer Science 315 (1), 35-59, 2004
117*2004
Homotopy type theory: Univalent foundations of mathematics
The Univalent Foundations Program, Institute for Advanced Study, 2013
110*2013
Propositions as [types]
S Awodey, A Bauer
Journal of Logic and Computation 14 (4), 447-471, 2004
1082004
The realizability approach to computable analysis and topology
A Bauer
Carnegie Mellon University, 2000
1042000
The HoTT Library: A formalization of homotopy type theory in Coq
A Bauer, J Gross, PLF Lumsdaine, M Shulman, M Sozeau, B Spitters
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
822017
An effect system for algebraic effects and handlers
A Bauer, M Pretnar
International Conference on Algebra and Coalgebra in Computer Science, 1-16, 2013
792013
Analytica–an experiment in combining theorem proving and symbolic computation
A Bauer, E Clarke, X Zhao
Journal of Automated Reasoning 21 (3), 295-325, 1998
741998
First steps in synthetic computability theory
A Bauer
Electronic Notes in Theoretical Computer Science 155, 5-31, 2006
532006
Five stages of accepting constructive mathematics
A Bauer
Bulletin of the American Mathematical Society 54 (3), 481-498, 2017
502017
Multibasic and mixed hypergeometric Gosper-type algorithms
A Bauer, M Petkovšek
Journal of Symbolic Computation 28 (4-5), 711-736, 1999
451999
The Dedekind reals in abstract Stone duality
A Bauer, P Taylor
Mathematical structures in computer science 19 (04), 757-838, 2009
392009
Comparing functional paradigms for exact real-number computation
A Bauer, MH Escardó, A Simpson
International Colloquium on Automata, Languages, and Programming, 488-500, 2002
372002
Realizability as the connection between computable and constructive mathematics
A Bauer
Proceedings of CCA, 2005
302005
A relationship between equilogical spaces and type two effectivity
A Bauer
Mathematical Logic Quarterly: Mathematical Logic Quarterly 48 (S1), 1-15, 2002
292002
Gallery of random art
A Bauer
WWW at http://andrej. com/art, 1998
281998
The HoTT library
A Bauer, J Gross, PLF Lumsdaine, M Shulman, B Spitters
URL: https://github. com/HoTT/HoTT, 2016
27*2016
A non-commutative Priestley duality
A Bauer, K Cvetko-Vah, M Gehrke, SJ van Gool, G Kudryavtseva
Topology and its Applications 160 (12), 1423-1438, 2013
272013
Implementing real numbers with RZ
A Bauer, I Kavkler
Electronic Notes in Theoretical Computer Science 202, 365-384, 2008
252008
Metric spaces in synthetic topology
A Bauer, D Lešnik
Annals of pure and applied logic 163 (2), 87-100, 2012
212012
The system can't perform the operation now. Try again later.
Articles 1–20