Theoretical Computer Science
Network profile
256
reputation
1
4

András Kovács

PhD student in type theory at ELTE Budapest

2
answers
0
questions
~483
people reached

Communities (12)

Top network posts

Top tags (6)

Score 14
Posts 2
Posts % 100
Score 7
Posts 1
Score 7
Posts 1
Score 7
Posts 1
Score 7
Posts 1
Score 7
Posts 1

Top posts (2) All Questions Answers | Votes Newest

7 Hereditary substitution with a universe hierarchy Nov 23 '18
7 Type-theoretic interpretation of Skolemization Aug 14

Badges (5)

Gold

—

Silver

1

Rarest

Bronze

4

Rarest