Theoretical Computer Science
Profile Activity
Network profile
736
reputation
3
6

András Kovács

PhD student in type theory at ELTE Budapest

11
answers
0
questions
~2k
people reached

Communities (15)

Top network posts

Top tags (17)

Score 59
Posts 11
Posts % 100
Score 18
Posts 4
Score 18
Posts 4
Score 10
Posts 1
Score 9
Posts 2
Score 8
Posts 1
View all tags →

Top posts (11)

All Questions Answers
Votes Newest
10 Type-theoretic interpretation of Skolemization Aug 14 '19
9 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
5 Model of MLTT with $\eta$ rule where function extensionality fails Mar 20
5 Are uniqueness rules converse to introduction rules? Apr 29
4 Dependent eliminator for empty type in intensional Martin-Löf type theory Mar 28
4 How to define list zipping categorically/inductively? Dec 1 '19
3 Relating functors to relational functors with the parametricity translation Mar 15
2 Normal term of double negation of W-type Mar 19
View all questions and answers →

Badges (9)

Gold

—

Silver

3

Rarest

Bronze

6

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.