Equilogical spaces and domains with totality. - Andrej Bauer (Workshop on Domains, 1998)

Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. - Andrej Bauer; Edmund M. Clarke; Xudong Zhao 005 (J. Autom. Reason., 1998)

Multibasic and Mixed Hypergeometric Gosper-Type Algorithms. - Andrej Bauer; Marko Petkovsek (J. Symb. Comput., 1999)

Continuous Functionals of Dependent Types and Equilogical Spaces. - Andrej Bauer; Lars Birkedal (CSL, 2000)

A Relationship between Equilogical Spaces and Type Two Effectivity. - Andrej Bauer (MFPS, 2001)

Comparing Functional Paradigms for Exact Real-Number Computation. - Andrej Bauer; Martín Hötzel Escardó; Alex K. Simpson (ICALP, 2002)

Propositions as Types. - Steven Awodey; Andrej Bauer (J. Log. Comput., 2004)

Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. - Andrej Bauer; Alex Simpson (Math. Log. Q., 2004)

Equilogical spaces. - Andrej Bauer; Lars Birkedal; Dana S. Scott (Theor. Comput. Sci., 2004)

Realizability as Connection between Constructive and Computable Mathematics. - Andrej Bauer (CCA, 2005)

First Steps in Synthetic Computability Theory. - Andrej Bauer (MFPS, 2005)

Specifications via Realizability. - Andrej Bauer; Christopher A. Stone (CLASE, 2005)

Implementing Real Numbers With RZ. - Andrej Bauer; Iztok Kavkler (CCA, 2007)

Sheaf toposes for realizability. - Steven Awodey; Andrej Bauer (Arch. Math. Log., 2008)

Preface. - Andrej Bauer; Michael W. Mislove (MFPS, 2008)

CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. - Andrej Bauer; Peter Hertling; Ker-I Ko (CCA, 2009)

CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. - Andrej Bauer; Peter Hertling; Ker-I Ko (CCA, 2009)

A constructive theory of continuous domains suitable for implementation. - Andrej Bauer; Iztok Kavkler (Ann. Pure Appl. Log., 2009)

Similarity Measures for Relational Databases. - Melita Hajdinjak; Andrej Bauer (Informatica (Slovenia), 2009)

RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. - Andrej Bauer; Christopher A. Stone (J. Log. Comput., 2009)

The Dedekind reals in abstract Stone duality. - Andrej Bauer; Paul Taylor 002 (Math. Struct. Comput. Sci., 2009)

Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. - Andrej Bauer; Jens Blanck (J. Univers. Comput. Sci., 2010)

Computability and Complexity in Analysis. - Andrej Bauer; Peter Hertling; Ker-I Ko (J. Univers. Comput. Sci., 2010)

Preface. - Andrej Bauer; Thierry Coquand; Giovanni Sambin; Peter M. Schuster (Ann. Pure Appl. Log., 2012)

Metric spaces in synthetic topology. - Andrej Bauer; Davorin Lesnik (Ann. Pure Appl. Log., 2012)

Similarity-Based Relations in Datalog Programs. - Melita Hajdinjak; Andrej Bauer (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2012)

On the failure of fixed-point theorems for chain-complete lattices in the effective topos. - Andrej Bauer (Theor. Comput. Sci., 2012)

On Monadic Parametricity of Second-Order Functionals. - Andrej Bauer; Martin Hofmann 001; Aleksandr Karbyshev (FoSSaCS, 2013)

An Effect System for Algebraic Effects and Handlers. - Andrej Bauer; Matija Pretnar (Log. Methods Comput. Sci., 2014)

Cartesian closed categories of separable Scott domains. - Andrej Bauer; Gordon D. Plotkin; Dana S. Scott (Theor. Comput. Sci., 2014)

Programming with algebraic effects and handlers. - Andrej Bauer; Matija Pretnar (J. Log. Algebraic Methods Program., 2015)

An injection from the Baire space to natural numbers. - Andrej Bauer (Math. Struct. Comput. Sci., 2015)

Design and Implementation of the Andromeda Proof Assistant. - Andrej Bauer; Gaëtan Gilbert; Philipp G. Haselwarter; Matija Pretnar; Christopher A. Stone (TYPES, 2016)

From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112). - Andrej Bauer; Martin Hofmann 001; Matija Pretnar; Jeremy Yallop (Dagstuhl Reports, 2016)

The HoTT library: a formalization of homotopy type theory in Coq. - Andrej Bauer; Jason Gross; Peter LeFanu Lumsdaine; Michael Shulman; Matthieu Sozeau; Bas Spitters (CPP, 2017)

Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014). - Andrej Bauer; Ulrich Berger 001; Willem L. Fouché; Dieter Spreen; Hideki Tsuiki; Martin Ziegler 001 (J. Log. Anal., 2017)

Report on MFPS XXXIII and CALCO 2017. - Andrej Bauer (ACM SIGLOG News, 2017)

What is algebraic about algebraic effects and handlers? - Andrej Bauer (CoRR, 2018)

Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341). - Andrej Bauer; Martín Hötzel Escardó; Peter LeFanu Lumsdaine; Assia Mahboubi (Dagstuhl Reports, 2018)

Every metric space is separable in function realizability. - Andrej Bauer; Andrew Swan (Log. Methods Comput. Sci., 2019)

Runners in Action. - Danel Ahman; Andrej Bauer (ESOP, 2020)

Equality Checking for General Type Theories in Andromeda 2. - Andrej Bauer; Philipp G. Haselwarter; Anja Petkovic (ICMS, 2020)

A general definition of dependent type theories. - Andrej Bauer; Philipp G. Haselwarter; Peter LeFanu Lumsdaine (CoRR, 2020)

A global COVID-19 observatory, monitoring the pandemics through text mining and visualization. - M. Besher Massri; João Pita Costa; Andrej Bauer; Marko Grobelnik; Janez Brank; Luka Stopar (Informatica (Slovenia), 2022)

Instance reducibility and Weihrauch degrees. - Andrej Bauer (Log. Methods Comput. Sci., 2022)

An extensible equality checking algorithm for dependent type theories. - Andrej Bauer; Anja Petkovic Komel (Log. Methods Comput. Sci., 2022)

MLFMF: Data Sets for Machine Learning for Mathematical Formalization. - Andrej Bauer; Matej Petkovic; Ljupco Todorovski (NeurIPS, 2023)

Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401). - Andrej Bauer; Katja Bercic; Florian Rabe 001; Nicolas M. Thiéry; Jure Taslak (Dagstuhl Reports, 2023)

Finitary Type Theories With and Without Contexts. - Philipp G. Haselwarter; Andrej Bauer (J. Autom. Reason., 2023)

Incorporating a Database of Graphs into a Proof Assistant. - Andrej Bauer; Katja Bercic; Gauvain Devillez; Jure Taslak (CICM, 2024)

An Imperative Language for Verified Exact Real-Number Computation. - Andrej Bauer; Sewon Park 001; Alex Simpson (CoRR, 2024)

Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem. - Andrej Bauer (J. Log. Anal., 2025)

Comodule representations of second-order functionals. - Danel Ahman; Andrej Bauer (J. Log. Algebraic Methods Program., 2025)