Theoretical Computer Science
Profile Activity
Network profile
501
reputation
2
5

András Kovács

PhD student in type theory at ELTE Budapest

5
answers
0
questions
~1k
people reached

Communities (15)

Top network posts

Top tags (11)

Score 37
Posts 5
Posts % 100
Score 10
Posts 1
Score 8
Posts 1
Score 8
Posts 1
Score 8
Posts 1
Score 8
Posts 1
View all tags →

Top posts (5)

All Questions Answers
Votes Newest
10 Type-theoretic interpretation of Skolemization Aug 14 '19
8 Hereditary substitution with a universe hierarchy Nov 23 '18
8 Semantic definition of strict positivity for a functor Feb 4
7 Structural equality of Pi Types with heterogeneous equality? Sep 30 '19
4 How to define list zipping categorically/inductively? Dec 1 '19

Badges (7)

Gold

—

Silver

2

Rarest

Bronze

5

Rarest

View all badges →