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 8 years, 7 months
  • Last seen this week
Profile Activity
Stats
1,424
reputation
5k
reached
18
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.
8
silver badges
7
bronze badges
Top tags
View all tags
118
Score
18
Posts
100
Posts %
42
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
Hereditary substitution with a universe hierarchy
Nov 23, 2018
answer
7
What is the computational power of the Calculus of Constructions?
Jun 8
answer
7
What's the categorical semantics of definitional equality?
Jul 28, 2021
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
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
27
Online reference book for *implementing* concepts in type theory.
26
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.