Scholar
Andrej Bauer
Google Scholar ID: gty0SkUAAAAJ
University of Ljubljana
Mathematics
computer science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,191
H-index
22
i10-index
43
Publications
20
Co-authors
21
list available
Publications
2 items
Sheaves as oracle computations
2026
Cited
0
Comodule Representations of Second-Order Functionals
arXiv.org · 2024
Cited
0
Co-authors
12 total
Peter LeFanu Lumsdaine
Assistant professor, Dept. of Mathematics, Stockholm University
Lars Birkedal
Dept. of Computer Science, Aarhus University
Bas Spitters
Associate Professor, Aarhus University
Philipp G. Haselwarter
Assistant Professor, Aarhus University
Martín Hötzel Escardó
Professor of Theoretical Computer Science, University of Birmingham,UK
Alex Simpson
Professor of Computer Science, Faculty of Mathematics and Physics, University of Ljubljana
Jason Gross
Graduate, Massachusetts Institute of Technology
Anja Petković Komel
PostDoc, Vienna university of technology
