Theoretical Computer Science
András Kovács
Profile Activity
Stats
1,029
reputation
3k
reached
15
answers
0
questions
About

PhD student in type theory at ELTE Budapest

Communities (15)

Top network posts

This user doesn’t have any gold badges yet.
5
silver badges
6
bronze badges
View all badges

Top tags (19)

Score 83
Posts 15
Posts % 100
Score 34
Posts 7
Score 19
Posts 4
Score 10
Posts 2
Score 10
Posts 1
Score 8
Posts 2
View all tags →

Top posts (15)

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 What's the categorical semantics of definitional equality? Jul 28
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 External failure of law of excluded middle in Martin-Löf type theory Jun 12
6 Are uniqueness rules converse to introduction rules? Apr 29
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
View all questions and answers →

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.