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
2742015
Homotopy type theory: Univalent foundations of mathematics
The Univalent Foundations Program, Institute for Advanced Study, 2013
119*2013
Equilogical spaces
A Bauer, L Birkedal, DS Scott
Theoretical Computer Science 315 (1), 35-59, 2004
1192004
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
1082000
An effect system for algebraic effects and handlers
A Bauer, M Pretnar
Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013
992013
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
982017
First steps in synthetic computability theory
A Bauer
Electronic Notes in Theoretical Computer Science 155, 5-31, 2006
712006
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
711998
Five stages of accepting constructive mathematics
A Bauer
Bulletin of the American Mathematical Society 54 (3), 481-498, 2017
672017
Multibasic and mixed hypergeometric Gosper-type algorithms
A Bauer, M Petkovšek
Journal of Symbolic Computation 28 (4-5), 711-736, 1999
501999
The Dedekind reals in abstract Stone duality
A Bauer, P Taylor
Mathematical structures in computer science 19 (04), 757-838, 2009
452009
Comparing functional paradigms for exact real-number computation
A Bauer, MH Escardó, A Simpson
International Colloquium on Automata, Languages, and Programming, 488-500, 2002
422002
The HoTT library
A Bauer, J Gross, PLF Lumsdaine, M Shulman, B Spitters
URL: https://github. com/HoTT/HoTT, 2016
40*2016
Realizability as the connection between computable and constructive mathematics
A Bauer
Proceedings of CCA, 2005
312005
A relationship between equilogical spaces and type two effectivity
A Bauer
Mathematical Logic Quarterly: Mathematical Logic Quarterly 48 (S1), 1-15, 2002
302002
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
292013
Gallery of random art
A Bauer
WWW at http://andrej. com/art, 1998
281998
Runners in action
D Ahman, A Bauer
Programming Languages and Systems: 29th European Symposium on Programming …, 2020
252020
Implementing real numbers with RZ
A Bauer, I Kavkler
Electronic Notes in Theoretical Computer Science 202, 365-384, 2008
252008
The system can't perform the operation now. Try again later.
Articles 1–20