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 31 keywords, that are appearing 33 times.
2 of them (6.45 % of all) appear more than once, together appearing 4 times (12.12 % of all appearances).

FrequencyKeyword
Num.%
2x50%teorija tipov, funkcijsko programiranje
1xHaskell, GHC, plavajoča vejica, kategorije, Teorija kategorij, Yonedova lema, MPFR, C, metoda sledenja žarku, POV-Ray., fraktal, latinski kvadrat, imaginarna kocka, dokazovalni pomočnik, vsota tipov., dokazovalni pomočniki, topos, teorija realizabilnosti, teorij izračunljivosti, vizualizacija, hiperbolična geometrija, Beckov izrek o monadah, teorija kategorij, koinduktivni tip, geometrija, induktivni tip, rekurzivni tip, kolimita, 3D model