Andrej Bauer prejemnik nagrade Levija L. Conanta 2022 - Petković Komel, Anja (Obzornik za matematiko in fiziko, 2022)
Keywords: algebrajski učinki; American Mathematical Society; Andrej Bauer; homotopska teorija tipov; nagrade; prestrezniki; sintetična izračunljivost