Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Network profile
161
reputation
6

User7819

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

0
answers
8
questions
~473
people reached
  • Member for 2 years, 3 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