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: Alex Simpson

Together there are 35 keywords, that are appearing 35 times.
0 of them (0 % of all) appear more than once, together appearing 0 times (0 % of all appearances).

FrequencyKeyword
Num.%
1xteorija množic, teorija tipov, tip, izomorfizem, identični tip, izjave, aksiom univalentnosti, grupe, množice, konstruktivna logika, relevantnost dokazov, princip strukturne identitete, Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices, topos, sheaf, site, axiom of choice, dependent choice, countable choice, independence, Haskell, rekurzivni podatkovni tip, teorija kategorij, začetna algebra, piecewise linear functions, fixed point, algorithms