Concepedia

Andrej Bauer

AB

20

Publications

608

Citations

14

H-Index

1998

Active since

Affiliations

University of Ljubljana(Current)

Institute of Mathematics, Physics, and Mechanics

Carnegie Mellon University

Andrej Bauer is an author at University of Ljubljana specializing in engineering, formal methods, and automated reasoning.

ORCID

Top concepts

Publications per year

1998–2016

20

Publications

20

Equilogical spaces

Andrej Bauer, Lars Birkedal, Dana Scott · Theoretical Computer Science · 2003 · 84 citations

The realizability approach to computable analysis and topology

Andrej Bauer, Dana Scott · 2000 · 82 citations

, , +15

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

Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine et al. · 2016 · 55 citations · Full text

An Effect System for Algebraic Effects and Handlers

Andrej Bauer, Matija Pretnar · Logical Methods in Computer Science · 2014 · 53 citations · Full text

, , +16

Five stages of accepting constructive mathematics

Andrej Bauer · Bulletin of the American Mathematical Society · 2016 · 52 citations · Full text

, , +5

Rows per page

1–5 of 20