Theoretical Computer Science
András Kovács's user avatar
András Kovács's user avatar
András Kovács's user avatar
András Kovács
  • Member for 9 years, 7 months
  • Last seen more than a week ago
Profile Activity
Stats
1,444
reputation
6k
reached
18
answers
0
questions
Communities
View all
About

Type theory researcher at ELTE Budapest.

Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
7
bronze badges
Top tags
View all tags
120
Score
18
Posts
100
Posts %
43
Score
8
Posts
44
Posts %
20
Score
1
Posts
6
Posts %
19
Score
4
Posts
22
Posts %
17
Score
3
Posts
17
Posts %
15
Score
2
Posts
11
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
20
Swapping arguments of variables in higher-order pattern unification
Dec 28, 2021
answer
10
Type-theoretic interpretation of Skolemization
Aug 14, 2019
answer
9
Semantic definition of strict positivity for a functor
Feb 4, 2020
answer
8
What's the categorical semantics of definitional equality?
Jul 28, 2021
answer
8
Hereditary substitution with a universe hierarchy
Nov 23, 2018
answer
7
What is the computational power of the Calculus of Constructions?
Jun 8, 2022
answer
7
Structural equality of Pi Types with heterogeneous equality?
Sep 30, 2019
answer
6
Model of MLTT with $\eta$ rule where function extensionality fails
Mar 20, 2021
answer
6
Dependent type theory and definitions of cumulativity
Oct 18, 2022
answer
6
External failure of law of excluded middle in Martin-Löf type theory
Jun 12, 2021
Top network posts
View all network posts
104
Erratic hole type resolution
66
Haskell program involving `read` is much slower than an equivalent Python one
33
Doing rank-n quantification in Idris
31
Compatibility of impredicative Set and function extensionality
27
Online reference book for *implementing* concepts in type theory.

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.