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
2002015
Equilogical spaces
A Bauer, L Birkedal, DS Scott
Theoretical Computer Science 315 (1), 35-59, 2004
111*2004
Propositions as [types]
S Awodey, A Bauer
Journal of Logic and Computation 14 (4), 447-471, 2004
962004
The realizability approach to computable analysis and topology
A Bauer
Carnegie Mellon University, 2000
952000
Homotopy type theory: Univalent foundations of mathematics
The Univalent Foundations Program, Institute for Advanced Study, 2013
80*2013
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
671998
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
622017
An effect system for algebraic effects and handlers
A Bauer, M Pretnar
International Conference on Algebra and Coalgebra in Computer Science, 1-16, 2013
572013
Multibasic and mixed hypergeometric Gosper-type algorithms
A Bauer, M Petkovšek
Journal of Symbolic Computation 28 (4-5), 711-736, 1999
381999
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
The Dedekind reals in abstract Stone duality
A Bauer, P Taylor
Mathematical structures in computer science 19 (04), 757-838, 2009
362009
Five stages of accepting constructive mathematics
A Bauer
Bulletin of the American Mathematical Society 54 (3), 481-498, 2017
342017
A relationship between equilogical spaces and type two effectivity
A Bauer
Mathematical Logic Quarterly: Mathematical Logic Quarterly 48 (S1), 1-15, 2002
312002
Realizability as the connection between computable and constructive mathematics
A Bauer
Proceedings of CCA, 2005
272005
Gallery of random art
A Bauer
WWW at http://andrej. com/art, 1998
251998
First steps in synthetic computability theory
A Bauer
Electronic Notes in Theoretical Computer Science 155, 5-31, 2006
242006
Implementing real numbers with RZ
A Bauer, I Kavkler
Electronic Notes in Theoretical Computer Science 202, 365-384, 2008
232008
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
192013
Metric spaces in synthetic topology
A Bauer, D Lešnik
Annals of pure and applied logic 163 (2), 87-100, 2012
192012
Stone duality for skew Boolean algebras with intersections
A Bauer, K Cvetko-Vah
arXiv preprint arXiv:1106.0425, 2011
182011
The system can't perform the operation now. Try again later.
Articles 1–20