Numbers

Basic Bibliography Published theses Top keywords Keyword timeline Co-mentors

The table includes keywords of all theses, where this person is in the role of a mentor. Keywords are sorted by the frequency, with most frequent keywords at the top. Most frequent keywords may tell what this mentor's research fields and interests are.

Person: Andrej Bauer

Together there are 52 keywords, that are appearing 55 times.
2 of them (3.85 % of all) appear more than once, together appearing 5 times (9.09 % of all appearances).

FrequencyKeyword
Num.%
3x60%funkcijsko programiranje
2x40%teorija tipov
1xinduktivni tip, koinduktivni tip, vsota tipov., dokazovalni pomočnik, rekurzivni tip, teorija kategorij, teorija realizabilnosti, dokazovalni pomočniki, topos, Beckov izrek o monadah, kolimita, Teorija kategorij, latinski kvadrat, imaginarna kocka, fraktal, metoda sledenja žarku, POV-Ray., C, MPFR, kategorije, Yonedova lema, plavajoča vejica, Haskell, GHC, teorij izračunljivosti, vizualizacija, Homotopska teorija tipov, kromatično število, obrnljivost, ekvivalenca, sfera, graf, Lean 4, Cantorjeva množica, monada, memoizacija, Lean, razčlenjevalnik, programski jezik, structure sheaf, geometrija, hiperbolična geometrija, 3D model, Zariski locale, formalization, mixfix, OCaml, Dependent type theory, constructive mathematics, Funkcional