Theoretical Computer Science
Meta user
Network profile
325
reputation
1
7

user

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

0
answers
9
questions
~2k
people reached
  • Member for 6 years, 3 months
  • 19 profile views
  • Last seen Jun 4 at 14:48

Communities (26)

Top network posts

Top tags (15)

Score 0
Posts 2
Posts % 22
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (9) All Questions Answers | Votes Newest

9 Is MLTT effectively pCiC without Prop? Jul 24 '15
7 Weakly normalizing + confluent = strongly normalizing? May 11 '15
6 Program equivalence wherein the programs are known to always halt Dec 8 '17
5 What is a 'free model'? Apr 23 '18
5 If I naively generalize the homeomorphic embedding relation for labeled finite trees in this way, do I still have a wqo? Jul 7 '18
5 Parse structure of a range concatenation grammar (RCG) Aug 10 '15
3 Difference between abstract machines and calculi Jan 8 '14
2 BSP, but with curved surfaces (NURBS? kernelized support vectors?) Apr 14 '14
0 Difference between 'string relations' and 'tree relations' w.r.t. synchronous CFGs Oct 16 '15

Badges (8)

Gold

—

Silver

1

Rarest

Bronze

7

Rarest