Theoretical Computer Science
András Kovács
  • Member for 7 years, 9 months
  • Last seen this week
Profile Activity
Stats
1,224
reputation
4k
reached
16
answers
0
questions
Communities
View all
About

PhD candidate in type theory at ELTE Budapest

Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
7
bronze badges
Top tags
View all tags
101
Score
16
Posts
100
Posts %
34
Score
7
Posts
44
Posts %
19
Score
4
Posts
25
Posts %
18
Score
1
Posts
6
Posts %
10
Score
2
Posts
12
Posts %
10
Score
1
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
18
Swapping arguments of variables in higher-order pattern unification
Dec 28 '21
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 '21
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 '21
6
External failure of law of excluded middle in Martin-Löf type theory
Jun 12 '21
6
Are uniqueness rules converse to introduction rules?
Apr 29 '21
4
What technique is used to implement type checking for CoC?
May 16 '21
Top network posts
View all network posts
107
Erratic hole type resolution
66
Haskell program involving `read` is much slower than an equivalent Python one
33
Doing rank-n quantification in Idris
26
Online reference book for *implementing* concepts in type theory.
23
Compatibility of impredicative Set and function extensionality

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.