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
2482015
Equilogical spaces
A Bauer, L Birkedal, DS Scott
Theoretical Computer Science 315 (1), 35-59, 2004
1212004
Propositions as [types]
S Awodey, A Bauer
Journal of Logic and Computation 14 (4), 447-471, 2004
1102004
Homotopy type theory: Univalent foundations of mathematics
The Univalent Foundations Program, Institute for Advanced Study, 2013
108*2013
The realizability approach to computable analysis and topology
A Bauer
Carnegie Mellon University, 2000
1052000
An effect system for algebraic effects and handlers
A Bauer, M Pretnar
Algebra and Coalgebra in Computer Science: 5th International Conferenceá…, 2013
892013
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
862017
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
First steps in synthetic computability theory
A Bauer
Electronic Notes in Theoretical Computer Science 155, 5-31, 2006
612006
Five stages of accepting constructive mathematics
A Bauer
Bulletin of the American Mathematical Society 54 (3), 481-498, 2017
562017
Multibasic and mixed hypergeometric Gosper-type algorithms
A Bauer, M Petkov╣ek
Journal of Symbolic Computation 28 (4-5), 711-736, 1999
461999
The Dedekind reals in abstract Stone duality
A Bauer, P Taylor
Mathematical structures in computer science 19 (04), 757-838, 2009
412009
Comparing functional paradigms for exact real-number computation
A Bauer, MH Escardˇ, A Simpson
International Colloquium on Automata, Languages, and Programming, 488-500, 2002
392002
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
302002
The HoTT library
A Bauer, J Gross, PLF Lumsdaine, M Shulman, B Spitters
URL: https://github. com/HoTT/HoTT, 2016
29*2016
Gallery of random art
A Bauer
WWW at http://andrej. com/art, 1998
281998
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