Andrej Bauer
Scholar

Andrej Bauer

Google Scholar ID: gty0SkUAAAAJ
University of Ljubljana
Mathematicscomputer science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,191
 
H-index
22
 
i10-index
43
 
Publications
20
 
Co-authors
21
list available
Contact
No contact links provided.
Publications
2 items
Sheaves as oracle computations
2026
Cited
0
Comodule Representations of Second-Order Functionals
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
21 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Lars Birkedal
Lars Birkedal
Dept. of Computer Science, Aarhus University
Bas Spitters
Bas Spitters
Associate Professor, Aarhus University
Philipp G. Haselwarter
Philipp G. Haselwarter
Assistant Professor, Aarhus University
Martín Hötzel Escardó
Martín Hötzel Escardó
Professor of Theoretical Computer Science, University of Birmingham,UK