Theoretical Computer Science
Meta user
Network profile
555
reputation
2
8

user

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

0
answers
9
questions
~2k
people reached
  • Member for 6 years, 8 months
  • 20 profile views
  • Last seen Sep 8 at 17:44

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

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

Gold

—

Silver

2

Rarest

Bronze

8

Rarest

View all badges →