Theoretical Computer Science
Meta user
Network profile
471
reputation
2
10

Nikolaj-K

youtube channel

1
answer
6
questions
~7k
people reached

Communities (38)

Top network posts

Top tags (11)

Score 4
Posts 4
Posts % 57
Score 4
Posts 2
Score 4
Posts 2
Score 4
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (7) All Questions Answers | Votes Newest

13 Minimal specification of Martin-Löf type theory Nov 9 '14
10 Relating univalence for a theory of cateogries to the skeleton concept Oct 30 '14
4 Explaining Applicative functor in categorical terms - monoidal functors Aug 28 '14
3 Constructing terms of function types out of the empty type Nov 30 '14
3 When can an inner existential quantifier be eliminated in favour of a function relating terms? Jun 28 '13
3 Which are the rewriting systems corresponding to the levels of the computatational hierarchy? Dec 12 '13
-1 Efficiently converting an ascending sequence to a sorted sequence one at a time Dec 28 '11

Badges (12)

Gold

—

Silver

2

Rarest

Bronze

10

Rarest

View all badges →