| 2008 |
|---|
| 19 | EE | Steven Awodey,
Andrej Bauer:
Sheaf toposes for realizability.
Arch. Math. Log. 47(5): 465-478 (2008) |
| 18 | EE | Andrej Bauer,
Iztok Kavkler:
Implementing Real Numbers With RZ.
Electr. Notes Theor. Comput. Sci. 202: 365-384 (2008) |
| 17 | EE | Andrej Bauer,
Michael W. Mislove:
Preface.
Electr. Notes Theor. Comput. Sci. 218: 1-4 (2008) |
| 2007 |
|---|
| 16 | EE | Andrej Bauer,
Christopher A. Stone:
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.
CiE 2007: 28-42 |
| 2006 |
|---|
| 15 | EE | Andrej Bauer,
Christopher A. Stone:
Specifications via Realizability.
Electr. Notes Theor. Comput. Sci. 153(1): 77-92 (2006) |
| 14 | EE | Andrej Bauer:
First Steps in Synthetic Computability Theory.
Electr. Notes Theor. Comput. Sci. 155: 5-31 (2006) |
| 2005 |
|---|
| 13 | | Andrej Bauer,
Paul Taylor:
The Dedekind Reals in Abstract Stone Duality.
CCA 2005: 25-64 |
| 12 | | Andrej Bauer:
Realizability as Connection between Constructive and Computable Mathematics.
CCA 2005: 378-379 |
| 2004 |
|---|
| 11 | EE | Steven Awodey,
Andrej Bauer:
Propositions as Types.
J. Log. Comput. 14(4): 447-471 (2004) |
| 10 | EE | Andrej Bauer,
Alex Simpson:
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability.
Math. Log. Q. 50(4-5): 351-369 (2004) |
| 9 | EE | Andrej Bauer,
Lars Birkedal,
Dana S. Scott:
Equilogical spaces.
Theor. Comput. Sci. 315(1): 35-59 (2004) |
| 2002 |
|---|
| 8 | EE | Andrej Bauer,
Martín Hötzel Escardó,
Alex K. Simpson:
Comparing Functional Paradigms for Exact Real-Number Computation.
ICALP 2002: 488-500 |
| 7 | EE | Andrej Bauer:
A Relationship between Equilogical Spaces and Type Two Effectivity.
Math. Log. Q. 48(S1): 1-15 (2002) |
| 2001 |
|---|
| 6 | EE | Andrej Bauer:
A Relationship between Equilogical Spaces and Type Two Effectivity.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 2000 |
|---|
| 5 | EE | Andrej Bauer,
Lars Birkedal:
Continuous Functionals of Dependent Types and Equilogical Spaces.
CSL 2000: 202-216 |
| 4 | EE | Andrej Bauer:
Equilogical spaces and domains with totality.
Electr. Notes Theor. Comput. Sci. 35: (2000) |
| 1999 |
|---|
| 3 | | Andrej Bauer,
Marko Petkovsek:
Multibasic and Mixed Hypergeometric Gosper-Type Algorithms.
J. Symb. Comput. 28(4-5): 711-736 (1999) |
| 1998 |
|---|
| 2 | | Andrej Bauer,
Edmund M. Clarke,
Xudong Zhao:
Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation.
J. Autom. Reasoning 21(3): 295-325 (1998) |
| 1996 |
|---|
| 1 | | Andrej Bauer,
Edmund M. Clarke,
Xudong Zhao:
Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation.
AISMC 1996: 21-37 |
