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