×

zbMATH — the first resource for mathematics

Bauer, Andrej

Compute Distance To:
Author ID: bauer.andrej Recent zbMATH articles by "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

Publications by Year

Citations contained in zbMATH

28 Publications have been cited 143 times in 125 Documents Cited by Year
Equilogical spaces. Zbl 1059.18004
Bauer, Andrej; Birkedal, Lars; Scott, Dana S.
26
2004
Programming with algebraic effects and handlers. Zbl 1304.68025
Bauer, Andrej; Pretnar, Matija
14
2015
Propositions as [types]. Zbl 1050.03016
Awodey, Steven; Bauer, Andrej
14
2004
Multibasic and mixed hypergeometric Gosper-type algorithms. Zbl 0973.33010
Bauer, Andrej; Petkovšek, Marko
12
1999
Stone duality for skew Boolean algebras with intersections. Zbl 1284.06032
Bauer, Andrej; Cvetko-Vah, Karin
11
2013
Metric spaces in synthetic topology. Zbl 1251.03081
Bauer, Andrej; Lešnik, Davorin
7
2012
A non-commutative Priestley duality. Zbl 1307.06008
Bauer, 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.68143
Bauer, Andrej; Clarke, Edmund; Zhao, Xudong
6
1998
A relationship between equilogical spaces and type two effectivity. Zbl 1026.68088
Bauer, Andrej
5
2002
The Dedekind reals in abstract Stone duality. Zbl 1262.03130
Bauer, Andrej; Taylor, Paul
4
2009
An effect system for algebraic effects and handlers. Zbl 1448.68203
Bauer, Andrej; Pretnar, Matija
3
2014
On the Bourbaki-Witt principle in toposes. Zbl 1286.03164
Bauer, Andrej; Lumsdaine, Peter Lefanu
3
2013
On monadic parametricity of second-order functionals. Zbl 1260.68071
Bauer, Andrej; Hofmann, Martin; Karbyshev, Aleksandr
3
2013
Implementing real numbers with RZ. Zbl 1262.03076
Bauer, Andrej; Kavkler, Iztok
3
2008
First steps in synthetic computability theory. Zbl 1273.03144
Bauer, Andrej
3
2006
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. Zbl 1059.03073
Bauer, Andrej; Simpson, Alex
3
2004
A relationship between equilogical spaces and type two effectivity. Zbl 1260.68216
Bauer, Andrej
3
2001
Continuous functionals of dependent types and equilogical spaces. Zbl 0973.03036
Bauer, Andrej; Birkedal, Lars
3
2000
Canonical effective subalgebras of classical algebras as constructive metric completions. Zbl 1219.03041
Bauer, Andrej; Blanck, Jens
2
2010
A constructive theory of continuous domains suitable for implementation. Zbl 1169.06005
Bauer, Andrej; Kavkler, Iztok
2
2009
RZ: a tool for bringing constructive and computable mathematics closer to programming practice. Zbl 1156.03301
Bauer, Andrej; Stone, Christopher A.
2
2009
RZ: A tool for bringing constructive and computable mathematics closer to programming practice. Zbl 1150.03300
Bauer, Andrej; Stone, Christopher A.
2
2007
An effect system for algebraic effects and handlers. Zbl 1394.68051
Bauer, Andrej; Pretnar, Matija
1
2013
On the failure of fixed-point theorems for chain-complete lattices in the effective topos. Zbl 1251.03092
Bauer, Andrej
1
2012
On the failure of fixed-point theorems for chain-complete lattices in the effective topos. Zbl 1338.03113
Bauer, 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.68008
Bauer, Andrej (ed.); Hertling, Peter (ed.); Ko, Ker-I (ed.)
1
2009
Sheaf toposes for realizability. Zbl 1161.03036
Awodey, Steven; Bauer, Andrej
1
2008
Comparing functional paradigms for exact real-number computation. Zbl 1056.68057
Bauer, Andrej; Escardó, Martín Hötzel; Simpson, Alex
1
2002
Programming with algebraic effects and handlers. Zbl 1304.68025
Bauer, Andrej; Pretnar, Matija
14
2015
An effect system for algebraic effects and handlers. Zbl 1448.68203
Bauer, Andrej; Pretnar, Matija
3
2014
Stone duality for skew Boolean algebras with intersections. Zbl 1284.06032
Bauer, Andrej; Cvetko-Vah, Karin
11
2013
A non-commutative Priestley duality. Zbl 1307.06008
Bauer, Andrej; Cvetko-Vah, Karin; Gehrke, Mai; van Gool, Samuel J.; Kudryavtseva, Ganna
6
2013
On the Bourbaki-Witt principle in toposes. Zbl 1286.03164
Bauer, Andrej; Lumsdaine, Peter Lefanu
3
2013
On monadic parametricity of second-order functionals. Zbl 1260.68071
Bauer, Andrej; Hofmann, Martin; Karbyshev, Aleksandr
3
2013
An effect system for algebraic effects and handlers. Zbl 1394.68051
Bauer, Andrej; Pretnar, Matija
1
2013
Metric spaces in synthetic topology. Zbl 1251.03081
Bauer, Andrej; Lešnik, Davorin
7
2012
On the failure of fixed-point theorems for chain-complete lattices in the effective topos. Zbl 1251.03092
Bauer, Andrej
1
2012
Canonical effective subalgebras of classical algebras as constructive metric completions. Zbl 1219.03041
Bauer, Andrej; Blanck, Jens
2
2010
The Dedekind reals in abstract Stone duality. Zbl 1262.03130
Bauer, Andrej; Taylor, Paul
4
2009
A constructive theory of continuous domains suitable for implementation. Zbl 1169.06005
Bauer, Andrej; Kavkler, Iztok
2
2009
RZ: a tool for bringing constructive and computable mathematics closer to programming practice. Zbl 1156.03301
Bauer, Andrej; Stone, Christopher A.
2
2009
On the failure of fixed-point theorems for chain-complete lattices in the effective topos. Zbl 1338.03113
Bauer, 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.68008
Bauer, Andrej (ed.); Hertling, Peter (ed.); Ko, Ker-I (ed.)
1
2009
Implementing real numbers with RZ. Zbl 1262.03076
Bauer, Andrej; Kavkler, Iztok
3
2008
Sheaf toposes for realizability. Zbl 1161.03036
Awodey, Steven; Bauer, Andrej
1
2008
RZ: A tool for bringing constructive and computable mathematics closer to programming practice. Zbl 1150.03300
Bauer, Andrej; Stone, Christopher A.
2
2007
First steps in synthetic computability theory. Zbl 1273.03144
Bauer, Andrej
3
2006
Equilogical spaces. Zbl 1059.18004
Bauer, Andrej; Birkedal, Lars; Scott, Dana S.
26
2004
Propositions as [types]. Zbl 1050.03016
Awodey, Steven; Bauer, Andrej
14
2004
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. Zbl 1059.03073
Bauer, Andrej; Simpson, Alex
3
2004
A relationship between equilogical spaces and type two effectivity. Zbl 1026.68088
Bauer, Andrej
5
2002
Comparing functional paradigms for exact real-number computation. Zbl 1056.68057
Bauer, Andrej; Escardó, Martín Hötzel; Simpson, Alex
1
2002
A relationship between equilogical spaces and type two effectivity. Zbl 1260.68216
Bauer, Andrej
3
2001
Continuous functionals of dependent types and equilogical spaces. Zbl 0973.03036
Bauer, Andrej; Birkedal, Lars
3
2000
Multibasic and mixed hypergeometric Gosper-type algorithms. Zbl 0973.33010
Bauer, Andrej; Petkovšek, Marko
12
1999
Analytica — an experiment in combining theorem proving and symbolic computation. Zbl 0916.68143
Bauer, Andrej; Clarke, Edmund; Zhao, Xudong
6
1998
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

Citations by Year

Wikidata Timeline