Computer Science
User7819's user avatar
User7819's user avatar
User7819's user avatar
User7819
  • Member for 7 years, 1 month
  • Last seen more than 2 years ago
Profile Activity
Stats
281
reputation
905
reached
0
answers
8
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
0
Score
4
Posts
50
Posts %
0
Score
3
Posts
38
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
1
Posts
12
Posts %
0
Score
1
Posts
12
Posts %
Top posts
question
6
Logical characterization of P versus NP problem (and references for least fixed point logic)
Jun 30, 2018
question
5
Functorial type constructors in System F
Apr 2, 2017
question
3
Term of System F whose type-erasure is $2(2)$
Feb 27, 2017
question
3
Question about termination of term rewrite systems
Jul 2, 2018
question
2
Identifying/equating constants in a term rewrite system
Jun 27, 2018
question
1
Example of typed lambda term with recomputed argument
Feb 27, 2017
question
1
Adding ground rules to term rewriting system
Jun 14, 2018
question
1
Confluence versus the property of every term having at most one normal form
Jul 9, 2018
Top network posts
View all network posts
8
Models of a certain (weird) equational theory
6
Classifying topos of algebraic theory
6
Is infinitary first-order logic strictly more expressive than weak second-order logic?
5
Characterizing $(\mathbb{Z}, <)$ up to isomorphism
5
Comparison lemma for (certain) Grothendieck quasitoposes