Skip to main content
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 10 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
1,639
reputation
7k
reached
21
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.
9
silver badges
9
bronze badges
Top tags
View all tags
138
Score
21
Posts
100
Posts %
50
Score
10
Posts
48
Posts %
30
Score
2
Posts
10
Posts %
25
Score
3
Posts
14
Posts %
24
Score
5
Posts
24
Posts %
17
Score
3
Posts
14
Posts %
Top posts
View all questions and answers
answer
20
Swapping arguments of variables in higher-order pattern unification
Dec 28, 2021
answer
10
Example of a term in system F which is not typable in the simply typed lambda calculus
Dec 22, 2023
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
Hereditary substitution with a universe hierarchy
Nov 23, 2018
answer
8
What's the categorical semantics of definitional equality?
Jul 28, 2021
answer
7
Are uniqueness rules converse to introduction rules?
Apr 29, 2021
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
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.