Edit Profile Bauer, Andrej Compute Distance To: Compute Author ID: bauer.andrej Published as: Bauer, Andrej Homepage: http://www.andrej.com/ External Links: MGP · Wikidata · MathOverflow · ORCID · dblp · arXiv · GND Member of Collective: the-univalent-foundations-program. Documents Indexed: 41 Publications since 1998, including 3 Books all top 5 Co-Authors 10 single-authored 3 Pretnar, Matija 2 Awodey, Steve 2 Birkedal, Lars 2 Blanck, Jens 2 Cvetko-Vah, Karin 2 Hajdinjak, Melita 2 Kavkler, Iztok 2 Scott, Dana Stewart 2 Simpson, Alex K. 2 Stone, Christopher A. 1 Berger, Ulrich 1 Clarke, Edmund Melson jun. 1 Coquand, Thierry 1 Fouché, Willem Louw 1 Gehrke, Mai 1 Hertling, Peter H. 1 Hofmann, Martin 1 Hötzel Escardó, Martín 1 Karbyshev, Aleksandr 1 Ko, Ker-I 1 Kudryavtseva, Ganna 1 Lešnik, Davorin 1 Lumsdaine, Peter LeFanu 1 Mislove, Michael W. 1 Petkovšek, Marko 1 Plotkin, Gordon D. 1 Sambin, Giovanni 1 Schuster, Peter Michael 1 Spreen, Dieter 1 Swan, Andrew W. 1 Taylor, Paul H. 1 Tsuiki, Hideki 1 van Gool, Samuel Jacob 1 Zhao, Xudong 1 Ziegler, Martin all top 5 Serials 3 Theoretical Computer Science 3 Annals of Pure and Applied Logic 2 Journal of Logic and Computation 2 MSCS. Mathematical Structures in Computer Science 2 Mathematical Logic Quarterly (MLQ) 2 Logical Methods in Computer Science 1 Houston Journal of Mathematics 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Topology and its Applications 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Bulletin of the American Mathematical Society. New Series 1 Archive for Mathematical Logic 1 Informatica (Ljubljana) 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Journal of Universal Computer Science 1 Electronic Notes in Theoretical Computer Science 1 Tbilisi Mathematical Journal 1 Journal of Logic and Analysis 1 OASIcs – OpenAccess Series in Informatics 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 28 Mathematical logic and foundations (03-XX) 21 Computer science (68-XX) 12 Category theory; homological algebra (18-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 5 General topology (54-XX) 4 General and overarching topics; collections (00-XX) 1 Special functions (33-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 28 Publications have been cited 143 times in 125 Documents Cited by ▼ Year ▼ Equilogical spaces. Zbl 1059.18004Bauer, Andrej; Birkedal, Lars; Scott, Dana S. 26 2004 Programming with algebraic effects and handlers. Zbl 1304.68025Bauer, Andrej; Pretnar, Matija 14 2015 Propositions as [types]. Zbl 1050.03016Awodey, Steven; Bauer, Andrej 14 2004 Multibasic and mixed hypergeometric Gosper-type algorithms. Zbl 0973.33010Bauer, Andrej; Petkovšek, Marko 12 1999 Stone duality for skew Boolean algebras with intersections. Zbl 1284.06032Bauer, Andrej; Cvetko-Vah, Karin 11 2013 Metric spaces in synthetic topology. Zbl 1251.03081Bauer, Andrej; Lešnik, Davorin 7 2012 A non-commutative Priestley duality. Zbl 1307.06008Bauer, Andrej; Cvetko-Vah, Karin; Gehrke, Mai; van Gool, Samuel J.; Kudryavtseva, Ganna 6 2013 Analytica — an experiment in combining theorem proving and symbolic computation. Zbl 0916.68143Bauer, Andrej; Clarke, Edmund; Zhao, Xudong 6 1998 A relationship between equilogical spaces and type two effectivity. Zbl 1026.68088Bauer, Andrej 5 2002 The Dedekind reals in abstract Stone duality. Zbl 1262.03130Bauer, Andrej; Taylor, Paul 4 2009 An effect system for algebraic effects and handlers. Zbl 1448.68203Bauer, Andrej; Pretnar, Matija 3 2014 On the Bourbaki-Witt principle in toposes. Zbl 1286.03164Bauer, Andrej; Lumsdaine, Peter Lefanu 3 2013 On monadic parametricity of second-order functionals. Zbl 1260.68071Bauer, Andrej; Hofmann, Martin; Karbyshev, Aleksandr 3 2013 Implementing real numbers with RZ. Zbl 1262.03076Bauer, Andrej; Kavkler, Iztok 3 2008 First steps in synthetic computability theory. Zbl 1273.03144Bauer, Andrej 3 2006 Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. Zbl 1059.03073Bauer, Andrej; Simpson, Alex 3 2004 A relationship between equilogical spaces and type two effectivity. Zbl 1260.68216Bauer, Andrej 3 2001 Continuous functionals of dependent types and equilogical spaces. Zbl 0973.03036Bauer, Andrej; Birkedal, Lars 3 2000 Canonical effective subalgebras of classical algebras as constructive metric completions. Zbl 1219.03041Bauer, Andrej; Blanck, Jens 2 2010 A constructive theory of continuous domains suitable for implementation. Zbl 1169.06005Bauer, Andrej; Kavkler, Iztok 2 2009 RZ: a tool for bringing constructive and computable mathematics closer to programming practice. Zbl 1156.03301Bauer, Andrej; Stone, Christopher A. 2 2009 RZ: A tool for bringing constructive and computable mathematics closer to programming practice. Zbl 1150.03300Bauer, Andrej; Stone, Christopher A. 2 2007 An effect system for algebraic effects and handlers. Zbl 1394.68051Bauer, Andrej; Pretnar, Matija 1 2013 On the failure of fixed-point theorems for chain-complete lattices in the effective topos. Zbl 1251.03092Bauer, Andrej 1 2012 On the failure of fixed-point theorems for chain-complete lattices in the effective topos. Zbl 1338.03113Bauer, Andrej 1 2009 6th international conference on computability and complexity in analysis (CCA’09). Proceedings of the international conference, August 18–22, 2009, Ljubljana, Slovenia. Zbl 1247.68008Bauer, Andrej (ed.); Hertling, Peter (ed.); Ko, Ker-I (ed.) 1 2009 Sheaf toposes for realizability. Zbl 1161.03036Awodey, Steven; Bauer, Andrej 1 2008 Comparing functional paradigms for exact real-number computation. Zbl 1056.68057Bauer, Andrej; Escardó, Martín Hötzel; Simpson, Alex 1 2002 Programming with algebraic effects and handlers. Zbl 1304.68025Bauer, Andrej; Pretnar, Matija 14 2015 An effect system for algebraic effects and handlers. Zbl 1448.68203Bauer, Andrej; Pretnar, Matija 3 2014 Stone duality for skew Boolean algebras with intersections. Zbl 1284.06032Bauer, Andrej; Cvetko-Vah, Karin 11 2013 A non-commutative Priestley duality. Zbl 1307.06008Bauer, Andrej; Cvetko-Vah, Karin; Gehrke, Mai; van Gool, Samuel J.; Kudryavtseva, Ganna 6 2013 On the Bourbaki-Witt principle in toposes. Zbl 1286.03164Bauer, Andrej; Lumsdaine, Peter Lefanu 3 2013 On monadic parametricity of second-order functionals. Zbl 1260.68071Bauer, Andrej; Hofmann, Martin; Karbyshev, Aleksandr 3 2013 An effect system for algebraic effects and handlers. Zbl 1394.68051Bauer, Andrej; Pretnar, Matija 1 2013 Metric spaces in synthetic topology. Zbl 1251.03081Bauer, Andrej; Lešnik, Davorin 7 2012 On the failure of fixed-point theorems for chain-complete lattices in the effective topos. Zbl 1251.03092Bauer, Andrej 1 2012 Canonical effective subalgebras of classical algebras as constructive metric completions. Zbl 1219.03041Bauer, Andrej; Blanck, Jens 2 2010 The Dedekind reals in abstract Stone duality. Zbl 1262.03130Bauer, Andrej; Taylor, Paul 4 2009 A constructive theory of continuous domains suitable for implementation. Zbl 1169.06005Bauer, Andrej; Kavkler, Iztok 2 2009 RZ: a tool for bringing constructive and computable mathematics closer to programming practice. Zbl 1156.03301Bauer, Andrej; Stone, Christopher A. 2 2009 On the failure of fixed-point theorems for chain-complete lattices in the effective topos. Zbl 1338.03113Bauer, Andrej 1 2009 6th international conference on computability and complexity in analysis (CCA’09). Proceedings of the international conference, August 18–22, 2009, Ljubljana, Slovenia. Zbl 1247.68008Bauer, Andrej (ed.); Hertling, Peter (ed.); Ko, Ker-I (ed.) 1 2009 Implementing real numbers with RZ. Zbl 1262.03076Bauer, Andrej; Kavkler, Iztok 3 2008 Sheaf toposes for realizability. Zbl 1161.03036Awodey, Steven; Bauer, Andrej 1 2008 RZ: A tool for bringing constructive and computable mathematics closer to programming practice. Zbl 1150.03300Bauer, Andrej; Stone, Christopher A. 2 2007 First steps in synthetic computability theory. Zbl 1273.03144Bauer, Andrej 3 2006 Equilogical spaces. Zbl 1059.18004Bauer, Andrej; Birkedal, Lars; Scott, Dana S. 26 2004 Propositions as [types]. Zbl 1050.03016Awodey, Steven; Bauer, Andrej 14 2004 Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. Zbl 1059.03073Bauer, Andrej; Simpson, Alex 3 2004 A relationship between equilogical spaces and type two effectivity. Zbl 1026.68088Bauer, Andrej 5 2002 Comparing functional paradigms for exact real-number computation. Zbl 1056.68057Bauer, Andrej; Escardó, Martín Hötzel; Simpson, Alex 1 2002 A relationship between equilogical spaces and type two effectivity. Zbl 1260.68216Bauer, Andrej 3 2001 Continuous functionals of dependent types and equilogical spaces. Zbl 0973.03036Bauer, Andrej; Birkedal, Lars 3 2000 Multibasic and mixed hypergeometric Gosper-type algorithms. Zbl 0973.33010Bauer, Andrej; Petkovšek, Marko 12 1999 Analytica — an experiment in combining theorem proving and symbolic computation. Zbl 0916.68143Bauer, Andrej; Clarke, Edmund; Zhao, Xudong 6 1998 all cited Publications top 5 cited Publications all top 5 Cited by 173 Authors 11 Bauer, Andrej 8 Hötzel Escardó, Martín 7 Schneider, Carsten 5 Cvetko-Vah, Karin 5 Leech, Jonathan 5 Rosolini, Giuseppe 4 Grandis, Marco 4 Kudryavtseva, Ganna 4 Pretnar, Matija 4 Spitters, Bas 3 Birkedal, Lars 3 Lindley, Sam 3 O’Connor, Russell 2 Abel, Andreas M. 2 Abramov, Sergeĭ Aleksandrovich 2 Atkey, Robert 2 Awodey, Steve 2 Blanck, Jens 2 Coquand, Thierry 2 Frosoni, Giulia 2 Hillerström, Daniel 2 Kavkler, Iztok 2 Pasquali, Fabio 2 Pfenning, Frank 2 Ribeiro, Willian 2 Ronse, Christian 2 Saleh, Amr Hany 2 Salibra, Antonino 2 Schrijvers, Tom 2 Schröder, Matthias 2 Seidl, Helmut 2 Simpson, Alex K. 2 Smolka, Gert 2 Spinks, Matthew 2 Streicher, Thomas 2 Vogler, Ralf 1 Aczel, Peter 1 Adámek, Jiří 1 Adelsberger, Stephan 1 Altenkirch, Thorsten 1 Amblard, Maxime 1 Battenfeld, Ingo 1 Bickford, Mark 1 Bizjak, Aleš 1 Böing, Harald 1 Brachthäuser, Jonathan Immanuel 1 Bucalo, Anna 1 Bucciarelli, Antonio 1 Caires, Luís 1 Cantone, Domenico 1 Carette, J. J. 1 Chapman, James T. E. 1 Chui, Charles Kam-tai 1 Cincotti, Gianluca 1 Clementino, Maria Manuel 1 Clouston, Ranald A. 1 Colebunders, Eva 1 Convent, Lukas 1 Dagand, Pierre-Evariste 1 de Paiva, Valeria 1 De Wachter, Stefan 1 Du, Ding-Zhu 1 Dunchev, Cvetan 1 Edalat, Abbas 1 Ekici, Burak 1 Erhard, Julian 1 Feferman, Solomon 1 Forster, Yannick 1 Franke, Andreas 1 Fu, Ming Quan 1 Gallo, Giovanni 1 Gambino, Nicola 1 Geddes, Keith O. 1 Gehrke, Mai 1 Ghilardi, Silvio 1 Gottliebsen, Hanne 1 Gouveia, Maria João 1 Grayson, Daniel Richard 1 Heckmann, Reinhold 1 Hemelaer, Jens 1 Heras, Jónathan 1 Hertling, Peter H. 1 Hofmann, Dirk 1 Hyland, J. Martin E. 1 Jaskelioff, Mauro 1 Kaliszyk, Cezary 1 Kammar, Ohad 1 Karachalias, Georgios 1 Kavvos, G. A. 1 Kelsey, Tom 1 Khan Afshar, Sanaz 1 Kinyon, Michael K. 1 Klin, Bartek 1 Koepf, Wolfram A. 1 Kohlhase, Michael 1 Kraus, Nicolai 1 Krebbers, Robbert 1 Lawson, Jimmie Don 1 Le Bruyn, Lieven 1 Le, Hai Quoc ...and 73 more Authors all top 5 Cited in 44 Serials 13 MSCS. Mathematical Structures in Computer Science 9 Journal of Symbolic Computation 9 Journal of Functional Programming 8 Theoretical Computer Science 6 Topology and its Applications 5 Annals of Pure and Applied Logic 4 Logical Methods in Computer Science 3 Applicable Algebra in Engineering, Communication and Computing 3 Tbilisi Mathematical Journal 2 Algebra Universalis 2 The Journal of Symbolic Logic 2 Order 2 Applied Categorical Structures 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Journal of Algebra and its Applications 2 The Art of Discrete and Applied Mathematics 1 Artificial Intelligence 1 Journal of Mathematical Analysis and Applications 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Information Sciences 1 Journal of Pure and Applied Algebra 1 Semigroup Forum 1 Journal of Complexity 1 Information and Computation 1 Journal of Automated Reasoning 1 International Journal of Algebra and Computation 1 Bulletin of the American Mathematical Society. New Series 1 Archive for Mathematical Logic 1 Formal Methods in System Design 1 Applied and Computational Harmonic Analysis 1 The Bulletin of Symbolic Logic 1 Journal of Difference Equations and Applications 1 Annals of Combinatorics 1 The Journal of Logic and Algebraic Programming 1 Journal of the Australian Mathematical Society 1 Theory and Practice of Logic Programming 1 Journal of Applied Logic 1 Mathematics in Computer Science 1 Logica Universalis 1 Journal of Homotopy and Related Structures 1 ACM Communications in Computer Algebra 1 Journal of Logic and Analysis 1 Computability 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 21 Fields 61 Computer science (68-XX) 56 Mathematical logic and foundations (03-XX) 27 Order, lattices, ordered algebraic structures (06-XX) 27 Category theory; homological algebra (18-XX) 16 General topology (54-XX) 10 Special functions (33-XX) 6 Field theory and polynomials (12-XX) 6 Algebraic topology (55-XX) 5 General algebraic systems (08-XX) 4 Combinatorics (05-XX) 3 Numerical analysis (65-XX) 2 History and biography (01-XX) 2 Real functions (26-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Difference and functional equations (39-XX) 1 Functional analysis (46-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year Wikidata Timeline