Computer Science
Network profile
161
reputation
6

User7819

Apparently, this user prefers to keep an air of mystery about them.

0
answers
8
questions
~496
people reached
  • Member for 2 years, 4 months
  • 8 profile views
  • Last seen Jan 17 at 18:48

Communities (6)

Top network posts

Top tags (9)

Score 0
Posts 4
Posts % 50
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (8) All Questions Answers | Votes Newest

5 Functorial type constructors in System F Apr 2 '17
4 Logical characterization of P versus NP problem (and references for least fixed point logic) Jun 30 '18
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

Badges (6)

Gold

—

Silver

—

Bronze

6

Rarest