Theoretical Computer Science
Profile Activity
Network profile
521
reputation
2
5

András Kovács

PhD student in type theory at ELTE Budapest

6
answers
0
questions
~1k
people reached

Communities (15)

Top network posts

Top tags (13)

Score 39
Posts 6
Posts % 100
Score 10
Posts 1
Score 9
Posts 2
Score 8
Posts 1
Score 8
Posts 1
Score 8
Posts 1
View all tags →

Top posts (6)

All Questions Answers
Votes Newest
10 Type-theoretic interpretation of Skolemization Aug 14 '19
8 Semantic definition of strict positivity for a functor Feb 4 '20
8 Hereditary substitution with a universe hierarchy Nov 23 '18
7 Structural equality of Pi Types with heterogeneous equality? Sep 30 '19
4 How to define list zipping categorically/inductively? Dec 1 '19
2 Why is plus-comm a b $:\equiv$ refl (plus a b) not a proof of the commutativity of addition? Nov 30 '20

Badges (7)

Gold

—

Silver

2

Rarest

Bronze

5

Rarest

View all badges →