Theoretical Computer Science
Network profile
491
reputation
2
5

András Kovács

PhD student in type theory at ELTE Budapest

5
answers
0
questions
~949
people reached

Communities (14)

Top network posts

Top tags (12)

Score 36
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
7 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 →