Andrej Bauer

According to our database, Andrej Bauer authored at least 52 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Comodule Representations of Second-Order Functionals.

Danel Ahman, Andrej Bauer

CoRR, 2024

An Imperative Language for Verified Exact Real-Number Computation.

Andrej Bauer, Sewon Park, Alex Simpson

CoRR, 2024

Incorporating a Database of Graphs into a Proof Assistant.

Andrej Bauer, Katja Bercic, Gauvain Devillez, Jure Taslak

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

2023

Finitary Type Theories With and Without Contexts.

Philipp G. Haselwarter, Andrej Bauer

J. Autom. Reason., December, 2023

Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401).

Andrej Bauer, Katja Bercic, Florian Rabe, Nicolas M. Thiéry, Jure Taslak

Dagstuhl Reports, 2023

MLFMF: Data Sets for Machine Learning for Mathematical Formalization.

Andrej Bauer, Matej Petkovic, Ljupco Todorovski

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

An extensible equality checking algorithm for dependent type theories.

Andrej Bauer, Anja Petkovic Komel

Log. Methods Comput. Sci., 2022

Instance reducibility and Weihrauch degrees.

Andrej Bauer

Log. Methods Comput. Sci., 2022

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

2020

A general definition of dependent type theories.

Andrej Bauer, Philipp G. Haselwarter, Peter LeFanu Lumsdaine

CoRR, 2020

Equality Checking for General Type Theories in Andromeda 2.

Andrej Bauer, Philipp G. Haselwarter, Anja Petkovic

Proceedings of the Mathematical Software - ICMS 2020, 2020

Runners in Action.

Danel Ahman, Andrej Bauer

Proceedings of the Programming Languages and Systems, 2020

2019

Every metric space is separable in function realizability.

Andrej Bauer, Andrew Swan

Log. Methods Comput. Sci., 2019

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

What is algebraic about algebraic effects and handlers?

Andrej Bauer

CoRR, 2018

2017

Report on MFPS XXXIII and CALCO 2017.

Andrej Bauer

ACM SIGLOG News, 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, Willem L. Fouché, Dieter Spreen, Hideki Tsuiki, Martin Ziegler

J. Log. Anal., 2017

The HoTT library: a formalization of homotopy type theory in Coq.

Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016

From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112).

Andrej Bauer, Martin Hofmann, Matija Pretnar, Jeremy Yallop

Dagstuhl Reports, 2016

Design and Implementation of the Andromeda Proof Assistant.

Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

2015

An injection from the Baire space to natural numbers.

Andrej Bauer

Math. Struct. Comput. Sci., 2015

Programming with algebraic effects and handlers.

Andrej Bauer, Matija Pretnar

J. Log. Algebraic Methods Program., 2015

2014

Cartesian closed categories of separable Scott domains.

Andrej Bauer, Gordon D. Plotkin, Dana S. Scott

Theor. Comput. Sci., 2014

An Effect System for Algebraic Effects and Handlers.

Andrej Bauer, Matija Pretnar

Log. Methods Comput. Sci., 2014

2013

On Monadic Parametricity of Second-Order Functionals.

Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

On the failure of fixed-point theorems for chain-complete lattices in the effective topos.

Andrej Bauer

Theor. Comput. Sci., 2012

Similarity-Based Relations in Datalog Programs.

Melita Hajdinjak, Andrej Bauer

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2012

Metric spaces in synthetic topology.

Andrej Bauer, Davorin Lesnik

Ann. Pure Appl. Log., 2012

Preface.

Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter M. Schuster

Ann. Pure Appl. Log., 2012

2010

Computability and Complexity in Analysis.

Andrej Bauer, Peter Hertling, Ker-I Ko

J. Univers. Comput. Sci., 2010

Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions.

Andrej Bauer, Jens Blanck

J. Univers. Comput. Sci., 2010

2009

The Dedekind reals in abstract Stone duality.

Andrej Bauer, Paul Taylor

Math. Struct. Comput. Sci., 2009

RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.

Andrej Bauer, Christopher A. Stone

J. Log. Comput., 2009

Similarity Measures for Relational Databases.

Melita Hajdinjak, Andrej Bauer

Informatica (Slovenia), 2009

A constructive theory of continuous domains suitable for implementation.

Andrej Bauer, Iztok Kavkler

Ann. Pure Appl. Log., 2009

CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis.

Andrej Bauer, Peter Hertling, Ker-I Ko

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009

CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis.

Andrej Bauer, Peter Hertling, Ker-I Ko

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009

2008

Preface.

Andrej Bauer, Michael W. Mislove

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

Sheaf toposes for realizability.

Steven Awodey, Andrej Bauer

Arch. Math. Log., 2008

2007

Implementing Real Numbers With RZ.

Andrej Bauer, Iztok Kavkler

Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, 2007

2005

Specifications via Realizability.

Andrej Bauer, Christopher A. Stone

Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005

First Steps in Synthetic Computability Theory.

Andrej Bauer

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Realizability as Connection between Constructive and Computable Mathematics.

Andrej Bauer

Proceedings of the CCA 2005, 2005

2004

Equilogical spaces.

Andrej Bauer, Lars Birkedal, Dana S. Scott

Theor. Comput. Sci., 2004

Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability.

Andrej Bauer, Alex Simpson

Math. Log. Q., 2004

Propositions as Types.

Steven Awodey, Andrej Bauer

J. Log. Comput., 2004

2002

Comparing Functional Paradigms for Exact Real-Number Computation.

Andrej Bauer, Martín Hötzel Escardó, Alex K. Simpson

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

2001

A Relationship between Equilogical Spaces and Type Two Effectivity.

Andrej Bauer

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

2000

Continuous Functionals of Dependent Types and Equilogical Spaces.

Andrej Bauer, Lars Birkedal

Proceedings of the Computer Science Logic, 2000

1999

Multibasic and Mixed Hypergeometric Gosper-Type Algorithms.

Andrej Bauer, Marko Petkovsek

J. Symb. Comput., 1999

1998

Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation.

Andrej Bauer, Edmund M. Clarke, Xudong Zhao

J. Autom. Reason., 1998

Equilogical spaces and domains with totality.

Andrej Bauer

Proceedings of the Workshop on Domains IV 1998, 1998