Computer Science
Profile Activity
Network profile
261
reputation
1
6

User7819

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

0
answers
8
questions
~680
people reached
  • Member for 4 years, 1 month
  • 11 profile views
  • Last seen Jan 4 at 22:36

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 (7)

Gold

—

Silver

1

Rarest

Bronze

6

Rarest

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.