Computer Science
User7819
  • Member for 4 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
281
reputation
737
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
All Questions Answers
Votes Newest
6
Logical characterization of P versus NP problem (and references for least fixed point logic)
Jun 30 '18
5
Functorial type constructors in System F
Apr 2 '17
3
Question about termination of term rewrite systems
Jul 2 '18
3
Term of System F whose type-erasure is $2(2)$
Feb 27 '17
2
Identifying/equating constants in a term rewrite system
Jun 27 '18
1
Confluence versus the property of every term having at most one normal form
Jul 9 '18
1
Adding ground rules to term rewriting system
Jun 14 '18
1
Example of typed lambda term with recomputed argument
Feb 27 '17
Top network posts
View all network posts
8
Models of a certain (weird) equational theory
6
Classifying topos of algebraic theory
5
Characterizing $(\mathbb{Z}, <)$ up to isomorphism

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.