Theoretical Computer Science
Profile Activity
Network profile
934
reputation
4
6

András Kovács

PhD student in type theory at ELTE Budapest

14
answers
0
questions
~3k
people reached

Communities (15)

Top network posts

Top tags (18)

Score 75
Posts 14
Posts % 100
Score 27
Posts 6
Score 19
Posts 4
Score 10
Posts 2
Score 10
Posts 1
Score 8
Posts 2
View all tags →

Top posts (14)

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
6 Model of MLTT with $\eta$ rule where function extensionality fails Mar 20
6 Are uniqueness rules converse to introduction rules? Apr 29
5 External failure of law of excluded middle in Martin-Löf type theory Jun 12
4 What technique is used to implement type checking for CoC? May 16
4 Does univ : univ always lead to a contradiction in a dependently typed language? May 17
4 Dependent eliminator for empty type in intensional Martin-Löf type theory Mar 28
View all questions and answers →

Badges (10)

Gold

—

Silver

4

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.